OAI/NumberTheory/DirichletL/Detector/GaussianTuple.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.SevenEighths.ProbePhysical.gaussian_selected_tuple_sum line 14
2. lemma OAI.SevenEighths.ProbePhysical.gaussian_selected_scale line 50
3. theorem OAI.SevenEighths.ProbePhysical.gaussian_selected_tuple_family line 57
4. lemma OAI.SevenEighths.ProbePhysical.gaussianFixedWindow_twist_compact line 76
5. theorem OAI.SevenEighths.ProbePhysical.gaussian_twisted_physical_row_inverse line 80
6. lemma OAI.SevenEighths.ProbePhysical.correctedGaussian_dyadic_summable line 96
7. theorem OAI.SevenEighths.ProbePhysical.gaussian_selected_tuple_reassembly line 106