OAI/NumberTheory/Ostmann/Arithmetic/HarmonicOneSidedBound.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

The one-sided estimate for the original harmonic prime priors

  1. theorem OAI.Ostmann.harmonic_polynomial_one_sided_bound line 12