OAI/NumberTheory/DirichletL/Descent/PhysicalExponents.lean

GitHub source file

11 declarations, 0 contain sorry, 0 declared as axioms

  1. theorem OAI.SevenEighths.InverseMoment.firstRootScale_rpow line 9
  2. def OAI.SevenEighths.InverseMoment.firstKappa line 18
  3. def OAI.SevenEighths.InverseMoment.firstPhysicalHeight line 19
  4. def OAI.SevenEighths.InverseMoment.secondLambda line 20
  5. def OAI.SevenEighths.InverseMoment.secondCount line 22
  6. def OAI.SevenEighths.InverseMoment.secondFormalColumn line 23
  7. def OAI.SevenEighths.InverseMoment.secondFormalLabel line 24
  8. theorem OAI.SevenEighths.InverseMoment.first_physical_scalar line 26
  9. theorem OAI.SevenEighths.InverseMoment.second_physical_scalar line 36
  10. theorem OAI.SevenEighths.InverseMoment.physical_prefactor_identity line 50
  11. theorem OAI.SevenEighths.InverseMoment.physical_step_energy_exponent line 57