`OAI/Analysis/KLS/Convexity/`

35 declarations, 0 contain sorry, 0 declared as axioms; 5 files

Files

HessianConvexity.lean 1 declarations
LogConcavity.lean 12 declarations
Prekopa.lean 9 declarations
PrekopaLeindler.lean 10 declarations
PrekopaReal.lean 3 declarations