OAI/Probability/LatticeSurface/Geometry/BlockRadial.lean

GitHub source file

9 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.TriangularLipschitz.radialPoint_zero line 67
2. lemma OAI.TriangularLipschitz.radialPoint_center line 70
3. lemma OAI.TriangularLipschitz.radialPoint_mem_box line 73
4. lemma OAI.TriangularLipschitz.radialPoint_mem_interior line 77
5. lemma OAI.TriangularLipschitz.faceCenter_mem_shell line 81
6. lemma OAI.TriangularLipschitz.radialPoint_fixed_iff line 85
7. lemma OAI.TriangularLipschitz.radialPoint_adj line 95
8. lemma OAI.TriangularLipschitz.shifted_radial_facet line 99
9. lemma OAI.TriangularLipschitz.shifted_shell_error line 128