OAI/NumberTheory/DirichletL/Descent/FirstGlobalSourceSupport.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.SevenEighths.InverseMoment.first_squarefree_row_zero_mem line 16
2. lemma OAI.SevenEighths.InverseMoment.canonicalCubeResidual_zero_overlap line 22
3. lemma OAI.SevenEighths.InverseMoment.firstCanonicalCoefficient_zero_overlap line 39
4. lemma OAI.SevenEighths.InverseMoment.firstCommonIndices_membership line 48
5. lemma OAI.SevenEighths.InverseMoment.firstCommonIndices_mono line 52
6. lemma OAI.SevenEighths.InverseMoment.firstCommonWeight_zero_outside line 58
7. theorem OAI.SevenEighths.InverseMoment.firstPhysicalCommonRows_fixed_pool line 78