OAI/NumberTheory/DirichletL/Reflection/TupleMasks.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.SevenEighths.InverseReflectedPhase.slot_choice_fixed_split line 14
2. lemma OAI.SevenEighths.InverseReflectedPhase.slot_choice_mask_split line 32
3. def OAI.SevenEighths.InverseReflectedPhase.fixedTupleWeight line 42
4. lemma OAI.SevenEighths.InverseReflectedPhase.fixedTupleWeight_norm line 46
5. lemma OAI.SevenEighths.InverseReflectedPhase.split_masked_column line 53