OAI/Geometry/CylinderCovering/Radial/OverlapBounds.lean

GitHub source file

10 declarations, 0 contain sorry, 0 declared as axioms

  1. theorem OAI.CylinderCovering.RadialOverlapBounds.abs_mul_le line 8
  2. theorem OAI.CylinderCovering.RadialOverlapBounds.root_estimates line 13
  3. theorem OAI.CylinderCovering.RadialOverlapBounds.excess_identity line 63
  4. theorem OAI.CylinderCovering.RadialOverlapBounds.joint_radial_bounds line 68
  5. theorem OAI.CylinderCovering.RadialOverlapBounds.individual_radial_bounds line 102
  6. theorem OAI.CylinderCovering.RadialOverlapBounds.interface_error line 122
  7. theorem OAI.CylinderCovering.RadialOverlapBounds.cap_comparison line 145
  8. theorem OAI.CylinderCovering.RadialOverlapBounds.cubic_twelve_compensation line 199
  9. theorem OAI.CylinderCovering.RadialOverlapBounds.physical_cap_comparison line 211
  10. theorem OAI.CylinderCovering.RadialOverlapBounds.orthonormal_height_compensation line 231