Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2021-06-15 23:35 e5c97e10

View on Github →

feat(analysis/convex/basic): a linear map is convex and concave (#7934)

Estimated changes

added theorem linear_map.concave_on
added theorem linear_map.convex_on