OAI/Geometry/CylinderCovering/Angular/TableGeometry.lean

GitHub source file

12 declarations, 0 contain sorry, 0 declared as axioms

  1. theorem OAI.CylinderCovering.AngularTableGeometry.area_dilate line 12
  2. theorem OAI.CylinderCovering.AngularTableGeometry.shadowArea_body line 18
  3. theorem OAI.CylinderCovering.AngularTableGeometry.minimumShadowArea_body line 29
  4. theorem OAI.CylinderCovering.AngularTableGeometry.carrier_dilate_subset line 39
  5. theorem OAI.CylinderCovering.AngularTableGeometry.covers_dilate line 45
  6. theorem OAI.CylinderCovering.AngularTableGeometry.totalArea_dilate line 54
  7. theorem OAI.CylinderCovering.AngularTableGeometry.normalizedArea_dilate line 63
  8. theorem OAI.CylinderCovering.AngularTableGeometry.relativeCost_dilate line 69
  9. theorem OAI.CylinderCovering.AngularTableGeometry.dilate_eq_transportedBase line 77
  10. theorem OAI.CylinderCovering.AngularTableGeometry.baseProperties_dilate line 82
  11. theorem OAI.CylinderCovering.AngularTableGeometry.triangle_dilate line 93
  12. theorem OAI.CylinderCovering.AngularTableGeometry.conclusion_dilate line 99