summaryrefslogtreecommitdiff
path: root/library/topology/continuous.tex
AgeCommit message (Collapse)Author
2024-06-25[Stable] Implented continuous.tex and omitted some provesSimon-Kor
All changes till here are done such that the check of everything.tex will be a success. There are no logic flaws and false can't be proven with everything out of everthing.tex