Theorem SSet.degenerate_eq_univ_of_hasDimensionLT

Modification history

2026-04-11 09:33

Mathlib/AlgebraicTopology/SimplicialSet/Dimension.lean

feat(AlgebraicTopology/SimplicialSet): more API for the boundary (#37692)

Added SSet.degenerate_eq_univ_of_hasDimensionLT View on Github →