OAI/NumberTheory/DirichletL/Moments/SecondNonexceptionalScalar.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

  1. lemma OAI.SevenEighths.CenteredMomentSecondNonexceptionalScalar.scalar_cancel line 21
  2. theorem OAI.SevenEighths.CenteredMomentSecondNonexceptionalScalar.physical_effective_scale line 35
  3. def OAI.SevenEighths.CenteredMomentSecondNonexceptionalScalar.childEnvelope line 52
  4. theorem OAI.SevenEighths.CenteredMomentSecondNonexceptionalScalar.family_child_envelope line 56
  5. theorem OAI.SevenEighths.CenteredMomentSecondNonexceptionalScalar.actual_envelope_scalar line 72
  6. theorem OAI.SevenEighths.CenteredMomentSecondNonexceptionalScalar.actual_residual_sqrt_cap line 119
  7. theorem OAI.SevenEighths.CenteredMomentSecondNonexceptionalScalar.actual_source_envelope_scalar line 140
  8. theorem OAI.SevenEighths.CenteredMomentSecondNonexceptionalScalar.actual_source_envelope_scalar_extra line 155