Commit 2023-11-08 06:59 4a70d87f
View on Github →chore: move TopologicalSpace.SecondCountableTopology into the root namespace (#8186)
All the other properties of topological spaces like T0Space or RegularSpace are in the root namespace. Many files were opening TopologicalSpace
just for the sake of shortening TopologicalSpace.SecondCountableTopology
...