Def SSet.strongAnodyneExtensions

Modification history

2026-04-18 08:20

Mathlib/AlgebraicTopology/SimplicialSet/AnodyneExtensions/Basic.lean

feat(AlgebraicTopology/SimplicialSet): anodyne extensions (#37321)

Added SSet.strongAnodyneExtensions View on Github →