OAI/Probability/LatticeSurface/Convexity/MarginalOverlap.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.FacetVolume.norm_le_mem_cube line 92
2. lemma OAI.FacetVolume.support_cube_of_norm line 98
3. lemma OAI.FacetVolume.integral_fin_cons line 103
4. lemma OAI.FacetVolume.marginal_support line 119
5. lemma OAI.FacetVolume.marginal_even line 129
6. lemma OAI.FacetVolume.marginal_overlap line 137