OAI/Geometry/CylinderCovering/Caps/FiniteDefinitions.lean

GitHub source file

28 declarations, 0 contain sorry, 0 declared as axioms

  1. abbrev OAI.CylinderCovering.HalfheightFinite.Space line 10
  2. def OAI.CylinderCovering.HalfheightFinite.height line 12
  3. def OAI.CylinderCovering.HalfheightFinite.point line 13
  4. def OAI.CylinderCovering.HalfheightFinite.tetrahedron line 14
  5. def OAI.CylinderCovering.HalfheightFinite.alpha line 16
  6. def OAI.CylinderCovering.HalfheightFinite.beta line 17
  7. def OAI.CylinderCovering.HalfheightFinite.profile line 18
  8. def OAI.CylinderCovering.HalfheightFinite.cubicCap line 19
  9. def OAI.CylinderCovering.HalfheightFinite.fractionalCap line 20
  10. def OAI.CylinderCovering.HalfheightFinite.firstRaw line 21
  11. def OAI.CylinderCovering.HalfheightFinite.secondRaw line 22
  12. def OAI.CylinderCovering.HalfheightFinite.firstAxis line 23
  13. def OAI.CylinderCovering.HalfheightFinite.secondAxis line 24
  14. def OAI.CylinderCovering.HalfheightFinite.firstFoot line 25
  15. def OAI.CylinderCovering.HalfheightFinite.secondFoot line 26
  16. def OAI.CylinderCovering.HalfheightFinite.halfwidth line 27
  17. def OAI.CylinderCovering.HalfheightFinite.midpoint line 28
  18. def OAI.CylinderCovering.HalfheightFinite.maxCap line 30
  19. def OAI.CylinderCovering.HalfheightFinite.collar line 31
  20. def OAI.CylinderCovering.HalfheightFinite.foot line 32
  21. def OAI.CylinderCovering.HalfheightFinite.firstBase line 34
  22. def OAI.CylinderCovering.HalfheightFinite.secondBase line 36
  23. def OAI.CylinderCovering.HalfheightFinite.localArea line 38
  24. def OAI.CylinderCovering.HalfheightFinite.totalArea line 43
  25. def OAI.CylinderCovering.HalfheightFinite.limitingArea line 46
  26. def OAI.CylinderCovering.HalfheightFinite.BaseProperties line 49
  27. def OAI.CylinderCovering.HalfheightFinite.FamilyConclusion line 53
  28. def OAI.CylinderCovering.HalfheightFinite.Statement line 65