OAI/NumberTheory/DirichletL/Moments/FirstExceptionalPrefactorActual.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.SevenEighths.CenteredMomentFirstExceptionalPrefactor.commonPart_of_equal_support line 16
2. lemma OAI.SevenEighths.CenteredMomentFirstExceptionalPrefactor.nominal_equal_support line 22
3. theorem OAI.SevenEighths.CenteredMomentFirstExceptionalPrefactor.actual_scalar_exceptional line 30
4. theorem OAI.SevenEighths.CenteredMomentFirstExceptionalPrefactor.original_scalar_exceptional line 64