OAI/NumberTheory/Ostmann/ZeroDensity/HighWeightDensityWave.lean

GitHub source file

2 declarations, 0 contain sorry, 0 declared as axioms

High-weight decay for the original smoothed density waves

  1. theorem OAI.Ostmann.densityWave_pair_norm_le line 12
  2. theorem OAI.Ostmann.eventual_high_weight_density_wave line 27