OAI/NumberTheory/DirichletL/Descent/MarkedTails.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.SevenEighths.InverseMoment.markedColumn line 13
2. lemma OAI.SevenEighths.InverseMoment.markedColumn_source_support line 18
3. theorem OAI.SevenEighths.InverseMoment.markedColumn_uniform_bound line 24
4. theorem OAI.SevenEighths.InverseMoment.marked_first_kernel_remainder line 50