Structure SingularManifold.{u}

Modification history

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