Theorem strictConcaveOn_log_Iio

Modification history

2023-05-25 03:53

Mathlib/Analysis/Convex/SpecificFunctions/Basic.lean

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

Added strictConcaveOn_log_Iio View on Github →