Structure RelativeCWComplex

Modification history

2024-09-29 14:59
Mathlib/Topology/CWComplex.lean
feat(Topology): define (relative) CW-complexes (#12502) …
Added RelativeCWComplexView on Github →