Theorem convexOn_exp

Modification history

2023-05-25 03:53

Mathlib/Analysis/Convex/SpecificFunctions/Basic.lean

feat: port Analysis.Convex.SpecificFunctions.Basic (#4142)

Added convexOn_exp View on Github →