Def PointedCone.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.lineal View on Github →