OAI/Geometry/CylinderCovering/Singular/EdgeOneDefinitions.lean

GitHub source file

12 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.SingularEdgeOne.fieldP line 9
  2. def OAI.SingularEdgeOne.fieldQ line 12
  3. def OAI.SingularEdgeOne.edgeU line 14
  4. def OAI.SingularEdgeOne.edgeV line 17
  5. def OAI.SingularEdgeOne.ceiling line 20
  6. def OAI.SingularEdgeOne.edgeCeiling line 22
  7. def OAI.SingularEdgeOne.coefficient line 24
  8. def OAI.SingularEdgeOne.edgeA line 27
  9. def OAI.SingularEdgeOne.edgeG line 29
  10. def OAI.SingularEdgeOne.edgeEnergy line 33
  11. def OAI.SingularEdgeOne.angularEnergy line 36
  12. def OAI.SingularEdgeOne.FlexibleCutoff line 39