OAI/Geometry/CylinderCovering/Angular/FamilyDefinitions.lean

GitHub source file

9 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.TriangularCovering.AngularFamily.LowerHit line 10
  2. def OAI.TriangularCovering.AngularFamily.UpperHit line 14
  3. def OAI.TriangularCovering.AngularFamily.lowerDirection line 18
  4. def OAI.TriangularCovering.AngularFamily.upperDirection line 19
  5. def OAI.TriangularCovering.AngularFamily.lowerIntercept line 21
  6. def OAI.TriangularCovering.AngularFamily.upperIntercept line 24
  7. def OAI.TriangularCovering.AngularFamily.PrescribedLower line 27
  8. def OAI.TriangularCovering.AngularFamily.PrescribedUpper line 31
  9. def OAI.TriangularCovering.AngularFamily.PrescribedFamily line 35