Mathlib Changelog
v4
Changelog
About
Github
Theorem
Geometry.SimplicialComplex.disjoint_or_exists_inter_eq_convexHull
Modification history
2023-04-25 11:29
Mathlib/Analysis/Convex/SimplicialComplex/Basic.lean
feat: port Analysis.Convex.SimplicialComplex.Basic (#3643)
Added
Geometry.SimplicialComplex.disjoint_or_exists_inter_eq_convexHull
View on Github →