OAI/NumberTheory/DirichletL/Reflection/DyadicTail.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.SevenEighths.InverseReflectedPhase.rawDyadicLabel line 12
2. def OAI.SevenEighths.InverseReflectedPhase.rawDyadicCenter line 15
3. lemma OAI.SevenEighths.InverseReflectedPhase.rawDyadicCenter_lower line 18
4. theorem OAI.SevenEighths.InverseReflectedPhase.tsum_cut_dyadic line 27
5. theorem OAI.SevenEighths.InverseReflectedPhase.literal_reflected_dyadic_tail line 46