OAI/NumberTheory/DirichletL/Moments/FirstColumns.lean

GitHub source file

9 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.SevenEighths.CenteredMomentFirstColumns.leftCoefficient line 15
2. def OAI.SevenEighths.CenteredMomentFirstColumns.rightCoefficient line 18
3. theorem OAI.SevenEighths.CenteredMomentFirstColumns.first_phase_columns line 21
4. def OAI.SevenEighths.CenteredMomentFirstColumns.firstPhaseTable line 42
5. theorem OAI.SevenEighths.CenteredMomentFirstColumns.firstPhaseTable_mk line 46
6. theorem OAI.SevenEighths.CenteredMomentFirstColumns.firstPhaseTable_expansion line 50
7. theorem OAI.SevenEighths.CenteredMomentFirstColumns.firstPhaseTable_mass line 57
8. def OAI.SevenEighths.CenteredMomentFirstColumns.firstExtension line 65
9. theorem OAI.SevenEighths.CenteredMomentFirstColumns.firstExtension_separated line 68