OAI/NumberTheory/DirichletL/Detector/FinalAssemblyCertifiedBands.lean

GitHub source file

9 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.SevenEighths.ProbeFinalAssemblyCertifiedBands.detectorMesh line 23
2. lemma OAI.SevenEighths.ProbeFinalAssemblyCertifiedBands.detectorMesh_pos line 25
3. def OAI.SevenEighths.ProbeFinalAssemblyCertifiedBands.DetectorCertifiedBands line 30
4. theorem OAI.SevenEighths.ProbeFinalAssemblyCertifiedBands.plain_inputs line 39
5. theorem OAI.SevenEighths.ProbeFinalAssemblyCertifiedBands.source_moments line 80
6. theorem OAI.SevenEighths.ProbeFinalAssemblyCertifiedBands.fine_moments_of_certified line 138
7. theorem OAI.SevenEighths.ProbeFinalAssemblyCertifiedBands.chosen_moments_of_certified line 147
8. theorem OAI.SevenEighths.ProbeFinalAssemblyCertifiedBands.dirichlet_of_certified line 150
9. theorem OAI.SevenEighths.ProbeFinalAssemblyCertifiedBands.zeta_of_certified line 156