Theorem strictConcaveOn_cos_Icc

Modification history

2023-06-06 16:13

Mathlib/Analysis/Convex/SpecificFunctions/Deriv.lean

feat: port Analysis.Convex.SpecificFunctions.Deriv (#4738)

Added strictConcaveOn_cos_Icc View on Github →