OAI/NumberTheory/DirichletL/Moments/FiniteProfileExceptionalPhysicalBudget.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.SevenEighths.CenteredMomentFiniteProfileExceptionalPhysical.profileMass_self line 24
2. lemma OAI.SevenEighths.CenteredMomentFiniteProfileExceptionalPhysical.count_power line 34
3. def OAI.SevenEighths.CenteredMomentFiniteProfileExceptionalPhysical.profileFactor line 43
4. lemma OAI.SevenEighths.CenteredMomentFiniteProfileExceptionalPhysical.profileFactor_nonneg line 49
5. lemma OAI.SevenEighths.CenteredMomentFiniteProfileExceptionalPhysical.sourceBudget_exact line 55
6. theorem OAI.SevenEighths.CenteredMomentFiniteProfileExceptionalPhysical.central_sourceBudget_exact line 76