Mathlib v3 is deprecated. Go to Mathlib v4

Theorem strict_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 strict_convex_on.dualView on Github →
2021-10-06 13:44
src/analysis/convex/function.lean
feat(analysis/convex/function): Dual lemmas (#9571)
Added strict_convex_on.dualView on Github →