Def HomotopicalAlgebra.RelativeCellComplex.transfiniteCompositionOfShape

Modification history

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