OAI/NumberTheory/Ostmann/Construction/TailBandBalance.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

Unbalanced tail supports have negligible mass on each harmonic band

  1. theorem OAI.Ostmann.EventuallyPrimeSumset.eventual_unbalanced_band_mass line 15