OAI/NumberTheory/DirichletL/Reflection/CubeSlots.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.SevenEighths.InverseReflectedPhase.prime_dvd_cube_mul line 12
2. def OAI.SevenEighths.InverseReflectedPhase.cubeActiveSlots line 25
3. lemma OAI.SevenEighths.InverseReflectedPhase.cube_shifted_mark line 29
4. lemma OAI.SevenEighths.InverseReflectedPhase.cube_shifted_mark_restrict line 42
5. theorem OAI.SevenEighths.InverseReflectedPhase.markedCompletedT_cube_shift line 50