OAI/NumberTheory/Ostmann/Supply/KernelSymmetry.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.Ostmann.Supply.fourierKernel_conj line 10
2. theorem OAI.Ostmann.Supply.fourierKernel_neg line 15
3. theorem OAI.Ostmann.Supply.fourierKernel_real line 30
4. def OAI.Ostmann.Supply.localKernel line 38
5. theorem OAI.Ostmann.Supply.localKernel_cast line 41
6. theorem OAI.Ostmann.Supply.localKernel_norm_le line 46