OAI/Geometry/CylinderCovering/Angular/TableCoverDefinitions.lean

GitHub source file

12 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.CylinderCovering.AngularTableCover.node line 15
  2. inductive OAI.CylinderCovering.AngularTableCover.Cap line 17
  3. def OAI.CylinderCovering.AngularTableCover.data line 20
  4. def OAI.CylinderCovering.AngularTableCover.normalizedCost line 29
  5. def OAI.CylinderCovering.AngularTableCover.lowerFamilyArea line 33
  6. def OAI.CylinderCovering.AngularTableCover.upperFamilyArea line 37
  7. def OAI.CylinderCovering.AngularTableCover.Shape line 41
  8. def OAI.CylinderCovering.AngularTableCover.ApertureLaw line 48
  9. def OAI.CylinderCovering.AngularTableCover.RowConclusion line 59
  10. def OAI.CylinderCovering.AngularTableCover.IntegerRow line 67
  11. def OAI.CylinderCovering.AngularTableCover.RealRow line 71
  12. def OAI.CylinderCovering.AngularTableCover.Statement line 75