Theorem AbstractSimplicialComplex.toPreAbstractSimplicialComplex_lt_iff

Modification history

2026-03-10 23:22
Mathlib/AlgebraicTopology/SimplicialComplex/Basic.lean
feat(Analysis/Convex/SimplicialComplex): add AbstractSimplicialComplex + constructions (#33364) …
Added AbstractSimplicialComplex.toPreAbstractSimplicialComplex_lt_iffView on Github →