Def SingularManifold.empty.{u}

Modification history

2026-06-05 10:09
Mathlib/Geometry/Manifold/Bordism.lean
chore(Geometry/Manifold): remove some `@[expose] public` section (#39886) …
Modified SingularManifold.empty.{u}View on Github →
2025-05-12 13:44
Mathlib/Geometry/Manifold/Bordism.lean
feat: define singular manifolds (#15906) …
Added SingularManifold.empty.{u}View on Github →