felix.git/library/topology/topological-space.tex, branch hotg Unnamed repository; edit this file 'description' to name the repository. https://git.adelon.net/felix.git/atom?h=hotg 2026-08-03T14:26:11+00:00 Migrate topological spaces to exact checking 2026-08-03T14:26:11+00:00 adelon 22380201+adelon@users.noreply.github.com 2026-08-03T14:26:11+00:00 urn:sha1:bb3ff9a7bbe2dc660a4cf18a524bb9213f0ac2f1 Make handling of local variables stricter 2026-04-12T13:25:03+00:00 adelon 22380201+adelon@users.noreply.github.com 2026-04-12T13:25:03+00:00 urn:sha1:bb4497227eb1ab060311baf0664865979655e03c Optimize proof 2025-07-08T19:46:54+00:00 adelon 22380201+adelon@users.noreply.github.com 2025-07-08T19:46:54+00:00 urn:sha1:9d34eebafc87e6bce476ccc487a88b440315089b Clean whitespace, add TODO 2025-07-07T16:46:39+00:00 adelon 22380201+adelon@users.noreply.github.com 2025-07-07T16:46:39+00:00 urn:sha1:054ed649d975a05602439addfa610bea68fbf3d4 Abgabe 2024-09-23T01:05:41+00:00 Simon-Kor 52245124+Simon-Kor@users.noreply.github.com 2024-09-23T01:05:41+00:00 urn:sha1:f6b22fd533bd61e9dbcb6374295df321de99b1f2 [Stable] Implented continuous.tex and omitted some proves 2024-06-24T22:06:14+00:00 Simon-Kor 52245124+Simon-Kor@users.noreply.github.com 2024-06-24T22:06:14+00:00 urn:sha1:c19415b970d502d662eb10c403728fa41cdbe03e 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 [Stable] Topologgical-space.tex 2024-06-20T11:01:57+00:00 Simon-Kor 52245124+Simon-Kor@users.noreply.github.com 2024-06-20T11:01:57+00:00 urn:sha1:28cbe434d393066f6b4525c67bd01b1396e97381 Merge remote-tracking branch 'upstream/main' 2024-06-18T15:16:31+00:00 Simon-Kor 52245124+Simon-Kor@users.noreply.github.com 2024-06-18T15:16:31+00:00 urn:sha1:e90ffa98ad4fe2f12cff83656de84827e16e3ac4 Definition of T3 and regular spaces. 2024-06-18T15:07:15+00:00 Simon-Kor 52245124+Simon-Kor@users.noreply.github.com 2024-06-18T15:07:15+00:00 urn:sha1:9563a18e455469bc64a9a8f61a95fb33f506bed0 Update topological-space.tex 2024-06-18T15:05:44+00:00 adelon 22380201+adelon@users.noreply.github.com 2024-06-18T15:05:44+00:00 urn:sha1:2b2e37e1dc6d74433ef7d455a21f043df8201c3a