Theorem Geometry.SimplicialComplex.vertex_mem_convexHull_iff

Modification history

2023-04-25 11:29
Mathlib/Analysis/Convex/SimplicialComplex/Basic.lean
feat: port Analysis.Convex.SimplicialComplex.Basic (#3643)
Added Geometry.SimplicialComplex.vertex_mem_convexHull_iffView on Github →