OAI/NumberTheory/Ostmann/Construction/PeriodicPoisson.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.Ostmann.Construction.schwartzTranslate line 10
2. theorem OAI.Ostmann.Construction.schwartzTranslate_apply line 14
3. theorem OAI.Ostmann.Construction.schwartz_int_norm_summable line 17
4. theorem OAI.Ostmann.Construction.schwartz_shift_norm_summable line 22
5. def OAI.Ostmann.Construction.periodicResidueTest line 26
6. theorem OAI.Ostmann.Construction.periodic_poisson_zero_frequency line 29
7. theorem OAI.Ostmann.Construction.periodic_poisson_mean_zero line 68