OAI/NumberTheory/DirichletL/Reflection/Rows.lean

GitHub source file

11 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.SevenEighths.InverseReflectedPhase.PrimeFamily.sum line 15
2. lemma OAI.SevenEighths.InverseReflectedPhase.PrimeFamily.sum_product line 20
3. lemma OAI.SevenEighths.InverseReflectedPhase.PrimeFamily.sum_pairwise line 24
4. def OAI.SevenEighths.InverseReflectedPhase.PrimeFamily.residual line 38
5. lemma OAI.SevenEighths.InverseReflectedPhase.PrimeFamily.residual_product line 43
6. lemma OAI.SevenEighths.InverseReflectedPhase.PrimeFamily.residual_dvd line 46
7. lemma OAI.SevenEighths.InverseReflectedPhase.PrimeFamily.residual_pairwise line 49
8. def OAI.SevenEighths.InverseReflectedPhase.PrimeFamily.reflected line 56
9. lemma OAI.SevenEighths.InverseReflectedPhase.PrimeFamily.reflected_product line 59
10. lemma OAI.SevenEighths.InverseReflectedPhase.PrimeFamily.reflected_pairwise line 65
11. lemma OAI.SevenEighths.InverseReflectedPhase.PrimeFamily.reflected_period line 83