OAI/Geometry/CylinderCovering/Angular/Caps.lean

GitHub source file

11 declarations, 0 contain sorry, 0 declared as axioms

  1. theorem OAI.AngularCaps.sqrt_quarter_bounds line 11
  2. theorem OAI.AngularCaps.d_nonneg line 27
  3. theorem OAI.AngularCaps.d_le_one_eighth line 31
  4. theorem OAI.AngularCaps.continuous_d line 38
  5. theorem OAI.AngularCaps.continuous_squaredRadius line 42
  6. theorem OAI.AngularCaps.squaredRadius_pos line 47
  7. theorem OAI.AngularCaps.squaredRadius_expansion line 53
  8. theorem OAI.AngularCaps.radialParameterSet_eq_image line 69
  9. theorem OAI.AngularCaps.isCompact_radialParameterSet line 90
  10. theorem OAI.AngularCaps.isCompact_radialSector_image line 99
  11. theorem OAI.AngularCaps.isCompact_squaredRadius_parameters line 106