Theorem HasSmallInductiveDimensionLT_one_iff

Modification history

2026-06-22 07:32
Mathlib/Topology/SmallInductiveDimension.lean
feat(Topology/SmallInductiveDimension): fix small style issues (#40878) …
Deleted HasSmallInductiveDimensionLT_one_iffView on Github →
2026-04-21 17:27
Mathlib/Topology/SmallInductiveDimension.lean
feat(topology): Small inductive dimension (#37619) …
Added HasSmallInductiveDimensionLT_one_iffView on Github →