OAI/Geometry/CylinderCovering/Angular/AreaRefinement.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.TriangularCovering.d_lipschitz_sharp line 10
2. lemma OAI.TriangularCovering.cutoffCoeff_error_sharp line 30
3. lemma OAI.TriangularCovering.density_error_sharp line 46
4. lemma OAI.TriangularCovering.interval_density_error_sharp line 92
5. lemma OAI.TriangularCovering.coefficientSum_error_sharp line 108