OAI/NumberTheory/DirichletL/Reflection/WholePair.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.SevenEighths.InverseReflectedPhase.sum_subtype_dite line 13
2. def OAI.SevenEighths.InverseReflectedPhase.literalPairEntry line 23
3. lemma OAI.SevenEighths.InverseReflectedPhase.literalWholeRow_eq_pairs line 36
4. lemma OAI.SevenEighths.InverseReflectedPhase.literalPairEntry_restrict line 55