Mathlib Changelog
v4
Changelog
About
Github
Theorem
chartedSpace_of_discreteTopology_chartAt
Modification history
2025-02-24 09:31
Mathlib/Geometry/Manifold/ChartedSpace.lean
feat: discrete topological spaces are 0-manifolds (#22105) …
Added
chartedSpace_of_discreteTopology_chartAt
View on Github →