Mathlib v3 is deprecated. Go to Mathlib v4

Theorem convex_cone.coe_zero

Modification history

2022-08-25 03:05
src/analysis/convex/cone.lean
feat(analysis/convex/cone): add `inner_dual_cone_of_inner_dual_cone_eq_self` for nonempty, closed, convex cones (#15637) …
Added convex_cone.coe_zeroView on Github →