Mathlib Changelog
v4
Changelog
About
Github
Theorem
ConvexOn.smul_concaveOn
Modification history
2023-11-24 19:52
Mathlib/Analysis/Convex/Mul.lean
feat: Multiplication of convex function (#7650) …
Added
ConvexOn.smul_concaveOn
View on Github →