Theorem SingularManifold.map_comp

Modification history

2025-05-12 13:44
Mathlib/Geometry/Manifold/Bordism.lean
feat: define singular manifolds (#15906) …
Added SingularManifold.map_compView on Github →