Theorem PointedCone.lineal_le

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_leView on Github →