OAI/NumberTheory/Ostmann/QuadraticCenter/UniformDivisorBound.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

Uniform subexponential divisor loss on the arithmetic moduli

  1. theorem OAI.Ostmann.divisors_subexponential_uniform line 10