Theorem Geometry.SimplicialComplex.convexHull_subset_space

Modification history

2025-12-11 22:59
Mathlib/Analysis/Convex/SimplicialComplex/Basic.lean
chore: use `Set.Nonempty` everywhere (#32697)
Modified Geometry.SimplicialComplex.convexHull_subset_spaceView on Github →
2023-04-25 11:29
Mathlib/Analysis/Convex/SimplicialComplex/Basic.lean
feat: port Analysis.Convex.SimplicialComplex.Basic (#3643)
Added Geometry.SimplicialComplex.convexHull_subset_spaceView on Github →