OAI/NumberTheory/Ostmann/Dirichlet/PrimeSeriesTailScale.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.Ostmann.Dirichlet.ordinaryPrimeTail_manuscript_bound line 9
2. lemma OAI.Ostmann.Dirichlet.exp_split_tail_le line 32
3. theorem OAI.Ostmann.Dirichlet.ordinaryPrimeTail_manuscript_small line 42
4. theorem OAI.Ostmann.Dirichlet.eventually_ordinaryPrimeTail_manuscript_small line 58