Def PointedCone.toConvexCone

Modification history

2025-06-19 10:04
Mathlib/Geometry/Convex/Cone/Pointed.lean
chore(Geometry/Convex/Cone): clean up (#25291) …
Modified PointedCone.toConvexConeView on Github →
2023-09-29 03:32
Mathlib/Analysis/Convex/Cone/Pointed.lean
feat(Analysis): define pointed cones (#6437) …
Added PointedCone.toConvexConeView on Github →