OAI/Geometry/CylinderCovering/Rational/CoefficientsDefinitions.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.RationalCoefficients.angularA0 line 11
  2. def OAI.RationalCoefficients.angularA2 line 13
  3. def OAI.RationalCoefficients.angularB1 line 15
  4. def OAI.RationalCoefficients.angularEnergy line 17
  5. def OAI.RationalCoefficients.radialDensity line 20
  6. def OAI.RationalCoefficients.polarCost line 25
  7. def OAI.RationalCoefficients.wedgeCost line 28