Def HomotopicalAlgebra.RelativeCellComplex.Cells.ι

Modification history

2025-02-12 13:36
Mathlib/AlgebraicTopology/RelativeCellComplex/Basic.lean
feat(AlgebraicTopology): relative cell complexes, refactor of CW-complexes (#21600) …
Added HomotopicalAlgebra.RelativeCellComplex.Cells.ιView on Github →