Theorem PointedCone.gc_ofSubmodule_lineal

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.gc_ofSubmodule_linealView on Github →