OAI/Geometry/CylinderCovering/Radial/CapCoverage.lean

GitHub source file

9 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.CylinderCovering.RadialCapCoverage.quadratic_crossing line 10
2. theorem OAI.CylinderCovering.RadialCapCoverage.abs_mul_bound line 49
3. theorem OAI.CylinderCovering.RadialCapCoverage.no_double_failure line 54
4. theorem OAI.CylinderCovering.RadialCapCoverage.padding_coverage line 161
5. theorem OAI.CylinderCovering.RadialCapCoverage.padding_covers line 196
6. theorem OAI.CylinderCovering.RadialCapCoverage.linear_covers line 217
7. theorem OAI.CylinderCovering.RadialCapCoverage.cubic_covers line 230
8. theorem OAI.CylinderCovering.RadialCapCoverage.fractional_power line 243
9. theorem OAI.CylinderCovering.RadialCapCoverage.fractional_covers line 249