Theorem PointedCone.ofSubmodule_lineal

Modification history

2026-05-25 19:08
Mathlib/Geometry/Convex/Cone/Pointed.lean
feat(Geometry/Convex/Cone): Minor additions to pointed cones (#37464) …
Modified PointedCone.ofSubmodule_linealView on Github →
2026-03-21 06:41
Mathlib/Geometry/Convex/Cone/Pointed.lean
feat(Geometry/Convex/Cone): lineality space of pointed cones (#33780) …
Added PointedCone.ofSubmodule_linealView on Github →