Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2021-09-03 09:56 5e27f509

View on Github →

feat(analysis/complex/basic): convex_on.sup (#8958)

Estimated changes

added theorem concave_on.inf
added theorem convex_on.sup