Theorem SSet.hasDimensionLT_subcomplex_top_iff

Modification history

2025-12-08 13:24
Mathlib/AlgebraicTopology/SimplicialSet/Dimension.lean
feat(AlgebraicTopology): dimension of simplicial sets (#32201) …
Added SSet.hasDimensionLT_subcomplex_top_iffView on Github →