Theorem SSet.degenerate_eq_top_of_hasDimensionLT

Modification history

2026-04-11 09:33
Mathlib/AlgebraicTopology/SimplicialSet/Dimension.lean
feat(AlgebraicTopology/SimplicialSet): more API for the boundary (#37692)
Deleted SSet.degenerate_eq_top_of_hasDimensionLTView on Github →
2025-12-08 13:24
Mathlib/AlgebraicTopology/SimplicialSet/Dimension.lean
feat(AlgebraicTopology): dimension of simplicial sets (#32201) …
Added SSet.degenerate_eq_top_of_hasDimensionLTView on Github →