OAI/NumberTheory/Jacobsthal/Sieve/ResidueTailUpper.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.Erdos970.ErdosInverseTail.progressionSurvivors_mono line 12
2. theorem OAI.Erdos970.ErdosInverseTail.sieve_tail_upper line 19
3. theorem OAI.Erdos970.ErdosInverseTail.survivor_count_difference line 42
4. theorem OAI.Erdos970.ErdosInverseTail.residue_tail_upper line 58