OAI/NumberTheory/Jacobsthal/Primes/StoppedReferencePrimes.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.Erdos970.ErdosStoppedReferenceUpper.below_all_iff_last line 17
2. theorem OAI.Erdos970.ErdosStoppedReferenceUpper.suffix_source_primes line 35
3. theorem OAI.Erdos970.ErdosStoppedReferenceUpper.after_source_primes line 59
4. theorem OAI.Erdos970.ErdosStoppedReferenceUpper.after_original_scale line 67
5. theorem OAI.Erdos970.ErdosStoppedReferenceUpper.actual_stopped_vertex_data line 74