OAI/NumberTheory/DirichletL/Moments/PrimeHeight.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.SevenEighths.CenteredMomentPrimeHeight.ray_prime_bounded_scale line 18
2. lemma OAI.SevenEighths.CenteredMomentPrimeHeight.lifted_scale_power line 55
3. theorem OAI.SevenEighths.CenteredMomentPrimeHeight.ray_prime_all_height_large line 68
4. theorem OAI.SevenEighths.CenteredMomentPrimeHeight.ray_prime_all_height_squared line 152