Commit 2023-07-31 08:03 0938530e
View on Github →feat(Topology/Order/NhdsSet): new file (#6161) Prove lemmas about neighborhoods of intervals. Some lemmas are TC-generalizations of lemmas from the Sphere Eversion Project.
feat(Topology/Order/NhdsSet): new file (#6161) Prove lemmas about neighborhoods of intervals. Some lemmas are TC-generalizations of lemmas from the Sphere Eversion Project.