OAI/NumberTheory/DirichletL/Descent/MarkedFourier.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.SevenEighths.InverseMoment.completed_summand_primary_support line 13
2. theorem OAI.SevenEighths.InverseMoment.markedCompletedT_congr_primary line 29
3. theorem OAI.SevenEighths.InverseMoment.markedCompletedT_quotient_fourier line 40
4. theorem OAI.SevenEighths.InverseMoment.finiteAdditiveFourierCoeff_zero_delta line 69
5. theorem OAI.SevenEighths.InverseMoment.markedCompletedT_divisor_fourier line 75