Mathlib v3 is deprecated. Go to Mathlib v4

Theorem convex_cone.coe_mk

Modification history

2022-07-27 17:03
src/analysis/convex/cone.lean
chore(analysis/convex/cone): add trivial coercion lemmas (#15713) …
Added convex_cone.coe_mkView on Github →