OAI/Probability/LatticeSurface/Convexity/Unimodal.lean

GitHub source file

3 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.Density.even_abs line 85
2. lemma OAI.Density.antitone_nonneg_of_even_logConcave line 90
3. lemma OAI.Density.even_logConcave_shift line 109