OAI/NumberTheory/DirichletL/Moments/RankinRadical.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.SevenEighths.CenteredMomentRankinRadical.commonRadical line 12
2. theorem OAI.SevenEighths.CenteredMomentRankinRadical.commonRadical_ne_zero line 15
3. theorem OAI.SevenEighths.CenteredMomentRankinRadical.commonRadical_squarefree line 18
4. theorem OAI.SevenEighths.CenteredMomentRankinRadical.commonRadical_support line 21
5. theorem OAI.SevenEighths.CenteredMomentRankinRadical.old_mask_dvd_commonRadical line 27
6. theorem OAI.SevenEighths.CenteredMomentRankinRadical.old_mask_radical_count line 42