Def SingularManifold.sum

Modification history

2026-06-05 10:09

Mathlib/Geometry/Manifold/Bordism.lean

chore(Geometry/Manifold): remove some `@[expose] public` section (#39886) …

Modified SingularManifold.sum View on Github →

2025-05-12 13:44

Mathlib/Geometry/Manifold/Bordism.lean

feat: define singular manifolds (#15906) …

Added SingularManifold.sum View on Github →