Theorem SingularManifold.map_f

Modification history

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