Theorem PointedCone.mem_hull_set

Modification history

2026-03-22 13:02

Mathlib/Geometry/Convex/Cone/Pointed.lean

feat(Geometry/Convex/Cone): Rename `PointedCone.span` to `PointedCone.hull` (#36953) …

Added PointedCone.mem_hull_set View on Github →