Theorem SSet.hasDimensionLT_of_le

Modification history

2025-12-14 13:26
Mathlib/AlgebraicTopology/SimplicialSet/Dimension.lean
chore: bump toolchain to v4.27.0-rc1 (#32874)
Modified SSet.hasDimensionLT_of_leView on Github →
2025-12-08 13:24
Mathlib/AlgebraicTopology/SimplicialSet/Dimension.lean
feat(AlgebraicTopology): dimension of simplicial sets (#32201) …
Added SSet.hasDimensionLT_of_leView on Github →