OAI/Probability/LatticeSurface/Convexity/DensityPrekopa.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.FacetVolume.integral_eval_fin_one line 70
2. lemma OAI.FacetVolume.real_usc_prekopa_leindler line 74
3. def OAI.Density.LogConcave line 100
4. lemma OAI.FacetVolume.logConcave_marginal line 108