OAI/Geometry/CylinderCovering/Physical/TrianglesDefinitions.lean

GitHub source file

13 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.RadialPhysical.ExplicitTriangles.error line 11
  2. def OAI.RadialPhysical.ExplicitTriangles.left line 13
  3. def OAI.RadialPhysical.ExplicitTriangles.right line 16
  4. def OAI.RadialPhysical.ExplicitTriangles.middle line 20
  5. def OAI.RadialPhysical.ExplicitTriangles.coordinates line 23
  6. def OAI.RadialPhysical.ExplicitTriangles.upperIntercept line 31
  7. def OAI.RadialPhysical.ExplicitTriangles.lowerIntercept line 33
  8. def OAI.RadialPhysical.ExplicitTriangles.upperVertices line 36
  9. def OAI.RadialPhysical.ExplicitTriangles.lowerVertices line 40
  10. def OAI.RadialPhysical.ExplicitTriangles.upperBase line 44
  11. def OAI.RadialPhysical.ExplicitTriangles.lowerBase line 49
  12. def OAI.RadialPhysical.ExplicitTriangles.localArea line 54
  13. def OAI.RadialPhysical.ExplicitTriangles.ConstructionStatement line 62