Theorem ConvexCone.Pointed.of_nonempty_of_isClosed

Modification history

2025-07-19 16:12
Mathlib/Analysis/Convex/Cone/Basic.lean
feat: `CanLift` instance from `ConvexCone` to `ProperCone` (#26150) …
Added ConvexCone.Pointed.of_nonempty_of_isClosedView on Github →