OAI/NumberTheory/DirichletL/Moments/SecondReferenceNormalization.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.SevenEighths.CenteredMomentSecondReferenceNormalization.referenceEnvelope line 16
2. lemma OAI.SevenEighths.CenteredMomentSecondReferenceNormalization.envelope_rescale line 20
3. lemma OAI.SevenEighths.CenteredMomentSecondReferenceNormalization.paired_rescale line 29
4. lemma OAI.SevenEighths.CenteredMomentSecondReferenceNormalization.physicalFactors_rescale line 35
5. lemma OAI.SevenEighths.CenteredMomentSecondReferenceNormalization.seededFactors_rescale line 53