OAI/NumberTheory/DirichletL/Reflection/DyadSelection.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.SevenEighths.InverseReflectedPhase.activeTupleDyad_subset line 17
2. lemma OAI.SevenEighths.InverseReflectedPhase.divisorDyadicBin_subset line 20
3. def OAI.SevenEighths.InverseReflectedPhase.dyadicTupleControlled line 29
4. lemma OAI.SevenEighths.InverseReflectedPhase.dyadicTupleControlled_at line 36