OAI/NumberTheory/DirichletL/Energy/ReferenceScalarBounds.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.SevenEighths.CenteredMomentEnergyReferenceScalarBounds.radical_power line 11
2. lemma OAI.SevenEighths.CenteredMomentEnergyReferenceScalarBounds.conductor_power line 16
3. lemma OAI.SevenEighths.CenteredMomentEnergyReferenceScalarBounds.radial_scale line 35
4. lemma OAI.SevenEighths.CenteredMomentEnergyReferenceScalarBounds.physical_slot_product line 42
5. lemma OAI.SevenEighths.CenteredMomentEnergyReferenceScalarBounds.short_slot_mass line 47
6. lemma OAI.SevenEighths.CenteredMomentEnergyReferenceScalarBounds.log_interval line 60