Theorem SingularManifold.comap_M

Modification history

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