OAI/NumberTheory/DirichletL/Detector/FinalAssemblyData.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. structure OAI.SevenEighths.ProbeFinalAssembly.SourceData line 14
2. theorem OAI.SevenEighths.ProbeFinalAssembly.exists_source_data line 33
3. def OAI.SevenEighths.ProbeFinalAssembly.SourceData.modulus line 38
4. instance OAI.SevenEighths.ProbeFinalAssembly.(instance at line 40) line 40
5. instance OAI.SevenEighths.ProbeFinalAssembly.(instance at line 43) line 43
6. theorem OAI.SevenEighths.ProbeFinalAssembly.source_count_parameters line 46
7. def OAI.SevenEighths.ProbeFinalAssembly.SourceData.probe line 52
8. theorem OAI.SevenEighths.ProbeFinalAssembly.SourceData.probe_low line 56