OAI/NumberTheory/DirichletL/Reflection/TupleFamily.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.SevenEighths.InverseReflectedPhase.tupleRepresentative line 14
2. lemma OAI.SevenEighths.InverseReflectedPhase.tupleRepresentative_mem line 19
3. lemma OAI.SevenEighths.InverseReflectedPhase.tupleRepresentative_product line 27
4. lemma OAI.SevenEighths.InverseReflectedPhase.tupleRepresentative_at_product line 35
5. def OAI.SevenEighths.InverseReflectedPhase.tuplePrimeFamily line 42
6. lemma OAI.SevenEighths.InverseReflectedPhase.tuplePrimeFamily_product line 50
7. lemma OAI.SevenEighths.InverseReflectedPhase.tuplePrimeFamily_at_product line 58
8. lemma OAI.SevenEighths.InverseReflectedPhase.tuple_product_injective line 66