Theorems · Definition · convex and discrete geometry

ConvexBody.carrier

{V : Type u_2} → [inst : TopologicalSpace V] → [inst_1 : AddCommMonoid V] → [inst_2 : SMul ℝ V] → ConvexBody V → Set V

The carrier set underlying a convex body: the set of points contained in it

Defined in

Mathlib.Analysis.Convex.Body

Cited by

3 results in Mathlib

Foundations

Depth 2 from the axioms · uses no axioms

Assumes

TopologicalSpaceAddCommMonoidSMul