Theorem PointedCone.mem_span_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) …
Deleted PointedCone.mem_span_setView on Github →
2025-10-27 15:31
Mathlib/Geometry/Convex/Cone/Pointed.lean
feat: constructor for submodules and pointed cones from two-element closures (#27578) …
Added PointedCone.mem_span_setView on Github →