OAI/NumberTheory/DirichletL/Moments/SecondExceptionalPhysicalSaving.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.SevenEighths.CenteredMomentSecondExceptionalPhysicalSaving.column_power_saving line 21
2. lemma OAI.SevenEighths.CenteredMomentSecondExceptionalPhysicalSaving.forcingNorm_ge_one line 34
3. theorem OAI.SevenEighths.CenteredMomentSecondExceptionalPhysicalSaving.original_budget_physical_saving_full line 40
4. lemma OAI.SevenEighths.CenteredMomentSecondExceptionalPhysicalSaving.column_cap_ledger line 89
5. theorem OAI.SevenEighths.CenteredMomentSecondExceptionalPhysicalSaving.original_budget_physical_saving line 105