Theorem PointedCone.lineal_eq_sSup

Modification history

2026-03-21 06:41
Mathlib/Geometry/Convex/Cone/Pointed.lean
feat(Geometry/Convex/Cone): lineality space of pointed cones (#33780) …
Added PointedCone.lineal_eq_sSupView on Github →