OAI/NumberTheory/DirichletL/Detector/SourcePrime.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.SevenEighths.ProbePhysical.gaussTwo_prime_localGamma line 14
2. theorem OAI.SevenEighths.ProbePhysical.G_prime_localG line 28
3. theorem OAI.SevenEighths.ProbePhysical.localGamma_one_two_full_signal line 44
4. lemma OAI.SevenEighths.ProbePhysical.angularFactor_pow line 52
5. lemma OAI.SevenEighths.ProbePhysical.gaussTwo_one line 55
6. lemma OAI.SevenEighths.ProbePhysical.gaussTwo_prime_power_small line 69
7. lemma OAI.SevenEighths.ProbePhysical.corrected_prime_cubic_signal line 80