Def HomotopicalAlgebra.AttachCells.ofArrowIso

Modification history

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