OAI/Geometry/CylinderCovering/Angular/CubicCoverDefinitions.lean

GitHub source file

22 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.CylinderCovering.Cubic.K4 line 10
  2. def OAI.CylinderCovering.Cubic.CoversK4 line 14
  3. def OAI.CylinderCovering.Cubic.cubicCost line 17
  4. def OAI.CylinderCovering.Cubic.lowerDirection line 24
  5. def OAI.CylinderCovering.Cubic.upperDirection line 27
  6. def OAI.CylinderCovering.Cubic.normalizedDirection line 30
  7. def OAI.CylinderCovering.Cubic.lowerInterceptVertices line 32
  8. def OAI.CylinderCovering.Cubic.upperInterceptVertices line 36
  9. def OAI.CylinderCovering.Cubic.lowerIndex line 40
  10. def OAI.CylinderCovering.Cubic.upperIndex line 43
  11. def OAI.CylinderCovering.Cubic.PrescribedFamily line 46
  12. def OAI.CylinderCovering.Cubic.FiniteCoverStatement line 57
  13. def OAI.CylinderCovering.Cubic.minimumProjection4 line 61
  14. def OAI.CylinderCovering.Cubic.relativeCost4 line 64
  15. def OAI.CylinderCovering.Cubic.MainStatement line 67
  16. def OAI.CylinderCovering.Cubic.scaledLowerInterceptVertices line 76
  17. def OAI.CylinderCovering.Cubic.scaledUpperInterceptVertices line 80
  18. def OAI.CylinderCovering.Cubic.lowerIndexN line 84
  19. def OAI.CylinderCovering.Cubic.upperIndexN line 87
  20. def OAI.CylinderCovering.Cubic.ScaledPrescribedFamily line 90
  21. def OAI.CylinderCovering.Cubic.ScaledFiniteCoverStatement line 101
  22. def OAI.CylinderCovering.Cubic.ScaledMainStatement line 107