OAI/Geometry/CylinderCovering/Rational/FieldDefinitions.lean

GitHub source file

14 declarations, 0 contain sorry, 0 declared as axioms

  1. abbrev OAI.SlopeRational.Plane line 9
  2. def OAI.SlopeRational.vec2 line 11
  3. def OAI.SlopeRational.radius line 13
  4. def OAI.SlopeRational.potential line 15
  5. def OAI.SlopeRational.a line 18
  6. def OAI.SlopeRational.b line 22
  7. def OAI.SlopeRational.field line 24
  8. def OAI.SlopeRational.wedge line 26
  9. def OAI.SlopeRational.alpha line 28
  10. def OAI.SlopeRational.ceilingConstant line 30
  11. def OAI.SlopeRational.ceilingQuadratic line 33
  12. def OAI.SlopeRational.ceilingCoefficient line 35
  13. def OAI.SlopeRational.ceilingPolynomial line 37
  14. def OAI.SlopeRational.labelDomain line 39