OAI/Combinatorics/PolynomialVacuum/Puncture/MomentWeight.lean

GitHub source file

10 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.PolynomialVacuumCylinder.denominatorReferenceWeight line 10
  2. def OAI.PolynomialVacuumCylinder.denominatorCorrection line 13
  3. theorem OAI.PolynomialVacuumCylinder.exact_hyperbolic_factor line 16
  4. theorem OAI.PolynomialVacuumCylinder.denominatorMomentWeight_factor line 25
  5. theorem OAI.PolynomialVacuumCylinder.denominatorReferenceWeight_pos line 48
  6. theorem OAI.PolynomialVacuumCylinder.denominatorMomentWeight_pos line 65
  7. theorem OAI.PolynomialVacuumCylinder.denominatorCorrection_pos line 69
  8. theorem OAI.PolynomialVacuumCylinder.denominatorCorrection_even line 74
  9. theorem OAI.PolynomialVacuumCylinder.denominatorCorrection_continuous line 78
  10. theorem OAI.PolynomialVacuumCylinder.denominatorCorrection_decay line 87