OAI/Geometry/CylinderCovering/Angular/GeneralDefinitions.lean

GitHub source file

25 declarations, 0 contain sorry, 0 declared as axioms

  1. abbrev OAI.CylinderCovering.AngularGeneral.Space line 11
  2. structure OAI.CylinderCovering.AngularGeneral.Data line 13
  3. def OAI.CylinderCovering.AngularGeneral.interval line 20
  4. def OAI.CylinderCovering.AngularGeneral.profile line 22
  5. def OAI.CylinderCovering.AngularGeneral.lowerDirection line 24
  6. def OAI.CylinderCovering.AngularGeneral.upperDirection line 27
  7. def OAI.CylinderCovering.AngularGeneral.unitDirection line 30
  8. def OAI.CylinderCovering.AngularGeneral.lowerAxis line 32
  9. def OAI.CylinderCovering.AngularGeneral.upperAxis line 35
  10. def OAI.CylinderCovering.AngularGeneral.lowerIntercept line 38
  11. def OAI.CylinderCovering.AngularGeneral.upperIntercept line 42
  12. def OAI.CylinderCovering.AngularGeneral.lowerBase line 46
  13. def OAI.CylinderCovering.AngularGeneral.upperBase line 49
  14. def OAI.CylinderCovering.AngularGeneral.carrier line 52
  15. def OAI.CylinderCovering.AngularGeneral.lowerCylinder line 55
  16. def OAI.CylinderCovering.AngularGeneral.upperCylinder line 58
  17. def OAI.CylinderCovering.AngularGeneral.covers line 61
  18. def OAI.CylinderCovering.AngularGeneral.totalArea line 65
  19. def OAI.CylinderCovering.AngularGeneral.relativeCost line 70
  20. def OAI.CylinderCovering.AngularGeneral.integralCost line 77
  21. def OAI.CylinderCovering.AngularGeneral.Admissible line 81
  22. def OAI.CylinderCovering.AngularGeneral.BaseProperties line 94
  23. def OAI.CylinderCovering.AngularGeneral.IsNondegenerateTriangle line 98
  24. def OAI.CylinderCovering.AngularGeneral.Conclusion line 101
  25. def OAI.CylinderCovering.AngularGeneral.Statement line 113