OAI/Geometry/CylinderCovering/Angular/SharpArea.lean

GitHub source file

10 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.TriangularCovering.term_remainder_sharp line 12
2. lemma OAI.TriangularCovering.mesh_term_remainder_sharp line 48
3. lemma OAI.TriangularCovering.uniform_scalar_sum_sharp line 86
4. lemma OAI.TriangularCovering.finiteFamily_expansion_sharp line 106
5. lemma OAI.TriangularCovering.finiteFamily_ratio_lt_closed line 112
6. lemma OAI.TriangularCovering.finiteFamily_strict_closed line 122
7. lemma OAI.TriangularCovering.finiteFamily_relative_lt_closed line 128
8. lemma OAI.TriangularCovering.finiteFamily_explicit line 132
9. theorem OAI.TriangularCovering.angularArea_result line 139
10. theorem OAI.TriangularCovering.explicitAngular_result line 144