Theorem ConvexCone.mem_toPointedCone

Modification history

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