Def Geometry.SimplicialComplex.ofAffineIndependent

Modification history

2026-03-10 23:22

Mathlib/Analysis/Convex/SimplicialComplex/AffineIndependentUnion.lean

feat(Analysis/Convex/SimplicialComplex): add AbstractSimplicialComplex + constructions (#33364) …

Added Geometry.SimplicialComplex.ofAffineIndependent View on Github →