OAI/NumberTheory/DirichletL/Moments/FirstAmplifiedCapacitySource.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.SevenEighths.CenteredMomentFirstAmplifiedCapacitySource.frozen_reduction_log line 28
2. theorem OAI.SevenEighths.CenteredMomentFirstAmplifiedCapacitySource.inherited_affine_parent line 40
3. theorem OAI.SevenEighths.CenteredMomentFirstAmplifiedCapacitySource.actual_main_source_shift line 51
4. theorem OAI.SevenEighths.CenteredMomentFirstAmplifiedCapacitySource.actual_error_source_shift line 93