Mathlib v3 is deprecated. Go to Mathlib v4

Theorem proper_cone.to_convex_cone_eq_coe

Modification history

2023-06-09 01:23
src/analysis/convex/cone/proper.lean
feat(analysis/convex/cone/proper): define proper cone (#18913) …
Added proper_cone.to_convex_cone_eq_coeView on Github →