OAI/NumberTheory/CubicMoment/Estimates/BalancedCutoff.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

Natural dual length for balanced conductors at height Y^0.37.

  1. theorem OAI.CubicFirstMoment.eventual_balanced_natural_cutoff line 10