Theorem ConvexCone.coe_closure

Modification history

2024-01-09 16:50

Mathlib/Analysis/Convex/Cone/Closure.lean

refactor(ProperCone): redefine ProperCone using PointedCone (#8878) …

Modified ConvexCone.coe_closure View on Github →

2023-07-01 05:11

Mathlib/Analysis/Convex/Cone/Proper.lean

feat: port Analysis.Convex.Cone.Proper (#5607) …

Added ConvexCone.coe_closure View on Github →