`OAI/AlgebraicTopology/CWComplex/`

369 declarations, 0 contain sorry, 0 declared as axioms; 5 files

Files

CellularPaths.lean 120 declarations
Collar.lean 114 declarations
Cover.lean 31 declarations
CoverTopology.lean 77 declarations
Presentation.lean 27 declarations