Theorem strictConcaveOn_sqrt_mul_log_Ioi

Modification history

2023-06-06 16:13
Mathlib/Analysis/Convex/SpecificFunctions/Deriv.lean
feat: port Analysis.Convex.SpecificFunctions.Deriv (#4738)
Added strictConcaveOn_sqrt_mul_log_IoiView on Github →