OAI/NumberTheory/DirichletL/Moments/InductionEnergy.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.SevenEighths.CenteredMomentInductionEnergy.energy line 16
2. lemma OAI.SevenEighths.CenteredMomentInductionEnergy.plain_absolute line 22
3. lemma OAI.SevenEighths.CenteredMomentInductionEnergy.positive_squared_absolute line 34
4. theorem OAI.SevenEighths.CenteredMomentInductionEnergy.energy_absolute line 71