OAI/NumberTheory/DirichletL/Moments/FirstMaskedInput.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.SevenEighths.CenteredMomentFirstMaskedInput.profile_combined_mask line 24
2. lemma OAI.SevenEighths.CenteredMomentFirstMaskedInput.column_combined_mask line 34
3. lemma OAI.SevenEighths.CenteredMomentFirstMaskedInput.input_combined_mask line 48
4. lemma OAI.SevenEighths.CenteredMomentFirstMaskedInput.extracted_input line 55
5. theorem OAI.SevenEighths.CenteredMomentFirstMaskedInput.extracted_input_allocations line 62
6. lemma OAI.SevenEighths.CenteredMomentFirstMaskedInput.normalized_input_mask line 93
7. lemma OAI.SevenEighths.CenteredMomentFirstMaskedInput.child_input_combined_mask line 102
8. lemma OAI.SevenEighths.CenteredMomentFirstMaskedInput.normalized_child_mask line 111