Theorem IsManifold.of_discreteTopology

Modification history

2025-02-24 09:31
Mathlib/Geometry/Manifold/IsManifold/Basic.lean
feat: discrete topological spaces are 0-manifolds (#22105) …
Added IsManifold.of_discreteTopologyView on Github →