Structure Geometry.SimplicialComplex

Modification history

2026-03-10 23:22
Mathlib/Analysis/Convex/SimplicialComplex/Basic.lean
feat(Analysis/Convex/SimplicialComplex): add AbstractSimplicialComplex + constructions (#33364) …
Modified Geometry.SimplicialComplexView on Github →
2023-04-25 11:29
Mathlib/Analysis/Convex/SimplicialComplex/Basic.lean
feat: port Analysis.Convex.SimplicialComplex.Basic (#3643)
Added Geometry.SimplicialComplexView on Github →