OAI/NumberTheory/DirichletL/Moments/OneReflectionScaleEnergy.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.SevenEighths.CenteredMomentOneReflectionScaleEnergy.annulus_complex_support line 16
2. lemma OAI.SevenEighths.CenteredMomentOneReflectionScaleEnergy.annulus_complex_smooth line 23
3. lemma OAI.SevenEighths.CenteredMomentOneReflectionScaleEnergy.annular_inverse_frequency_norm line 26
4. theorem OAI.SevenEighths.CenteredMomentOneReflectionScaleEnergy.actual_one_rowwise_scales line 36