Def HomotopicalAlgebra.AttachCells.reindex

Modification history

2025-02-15 11:19
Mathlib/AlgebraicTopology/RelativeCellComplex/AttachCells.lean
feat(CategoryTheory): various properties of transfinite compositions (#21843) …
Added HomotopicalAlgebra.AttachCells.reindexView on Github →