OAI/Probability/LatticeSurface/Geometry/UniformFacet.lean

GitHub source file

3 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.FacetVolume.slice_ball_lower line 45
2. lemma OAI.FacetVolume.projection_min_lt_top line 51
3. theorem OAI.FacetVolume.exists_uniform_facet_constant line 62