OAI/Probability/LatticeSurface/Geometry/CapCentral.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.ExtremalEdges.finite_volume_brunn_minkowski line 24
2. def OAI.ExtremalEdges.productSlice line 47
3. lemma OAI.ExtremalEdges.compact_productSlice line 50
4. lemma OAI.ExtremalEdges.volume_productSlice_neg line 64
5. theorem OAI.ExtremalEdges.central_productSlice_max line 78
6. theorem OAI.ExtremalEdges.product_small_set_bound line 108