Theorem SingularManifold.comap_f

Modification history

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