OAI/NumberTheory/DirichletL/Detector/PrimeConstants.lean

GitHub source file

10 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.SevenEighths.ProbePrimePower.localGamma line 10
2. lemma OAI.SevenEighths.ProbePrimePower.localGamma_norm_one line 14
3. lemma OAI.SevenEighths.ProbePrimePower.actualSextic_six line 19
4. lemma OAI.SevenEighths.ProbePrimePower.actualSextic_neg_one_sq line 23
5. theorem OAI.SevenEighths.ProbePrimePower.localGamma_inverse_pair line 28
6. lemma OAI.SevenEighths.ProbePrimePower.localGamma_two_four line 52
7. theorem OAI.SevenEighths.ProbePrimePower.localGamma_one_two_signal line 59
8. lemma OAI.SevenEighths.ProbePrimePower.actualSextic_pow_six_mul_add line 70
9. lemma OAI.SevenEighths.ProbePrimePower.actualSextic_fifth_inverse line 75
10. lemma OAI.SevenEighths.ProbePrimePower.primeGauss_inverse_pair line 83