OAI/NumberTheory/TwoPoint/Halasz/HalaszWeakHurwitzTheorem.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

Weak Hurwitz growth from the Vinogradov-system moment proof and first-order Hurwitz cutoff.

  1. theorem OAI.TwoPointCorrelations.mrt_weak_hurwitz_growth line 13