OAI/Probability/LatticeSurface/Geometry/TriangularBlock.lean

GitHub source file

3 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.TriangularLipschitz.fillingVolume_shrunk_pos line 127
2. lemma OAI.TriangularLipschitz.shrunk_deficit_le line 136
3. theorem OAI.TriangularLipschitz.triangular_block_deficit line 163