Mathlib v3 is deprecated. Go to Mathlib v4

Theorem convex_on.dual

Modification history

2021-10-11 04:03
src/analysis/convex/function.lean
chore(order/*): use to_dual and of_dual in statements instead of implicit coercions between and `α` and `order_dual α` (#9593) …
Modified convex_on.dualView on Github →
2021-10-06 13:44
src/analysis/convex/function.lean
feat(analysis/convex/function): Dual lemmas (#9571)
Added convex_on.dualView on Github →