Theorem SSet.anodyneExtensions_eq_retracts_transfiniteCompositionsOfShape

Modification history

2026-04-18 08:20
Mathlib/AlgebraicTopology/SimplicialSet/AnodyneExtensions/Basic.lean
feat(AlgebraicTopology/SimplicialSet): anodyne extensions (#37321)
Added SSet.anodyneExtensions_eq_retracts_transfiniteCompositionsOfShapeView on Github →