OAI/NumberTheory/DirichletL/Detector/FinalAssemblyChosenData.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.SevenEighths.ProbeFinalAssembly.ChosenMomentInput line 13
2. def OAI.SevenEighths.ProbeFinalAssembly.FineMomentInput line 21
3. theorem OAI.SevenEighths.ProbeFinalAssembly.chosen_input_of_fine line 30
4. theorem OAI.SevenEighths.ProbeFinalAssembly.chosen_data_height line 38
5. theorem OAI.SevenEighths.ProbeFinalAssembly.common_probe_of_chosen_moments line 57
6. theorem OAI.SevenEighths.ProbeFinalAssembly.dirichlet_of_chosen_moments line 77
7. theorem OAI.SevenEighths.ProbeFinalAssembly.zeta_of_chosen_moments line 84
8. theorem OAI.SevenEighths.ProbeFinalAssembly.hecke_of_chosen_moments line 88