OAI/NumberTheory/DirichletL/Reflection/KernelWeights.lean

GitHub source file

11 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.SevenEighths.InverseReflectedPhase.reciprocalWindow line 10
2. lemma OAI.SevenEighths.InverseReflectedPhase.reciprocalWindow_norm_le_one line 13
3. lemma OAI.SevenEighths.InverseReflectedPhase.reciprocalWindow_support line 27
4. lemma OAI.SevenEighths.InverseReflectedPhase.reciprocalWindow_reconstruct line 33
5. lemma OAI.SevenEighths.InverseReflectedPhase.reciprocal_norm_log line 40
6. lemma OAI.SevenEighths.InverseReflectedPhase.reciprocal_cube_log line 47
7. def OAI.SevenEighths.InverseReflectedPhase.reciprocalKernelWindows line 51
8. lemma OAI.SevenEighths.InverseReflectedPhase.reciprocalKernelWindows_norm line 55
9. lemma OAI.SevenEighths.InverseReflectedPhase.reciprocalKernelWindows_support line 68
10. lemma OAI.SevenEighths.InverseReflectedPhase.reciprocal_window_product line 78
11. theorem OAI.SevenEighths.InverseReflectedPhase.reciprocal_source_window_identity line 106