OAI/NumberTheory/PrimeGaps/RatioDensity.lean

GitHub source file

3 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.Problem344.eventually_largeGapIndices_explicit_subset_ratioIncreaseIndices line 10
2. theorem OAI.Problem344.positive_lower_density_prime_ratio_increases_of_explicit_large_gaps line 17
3. theorem OAI.Problem344.positive_lower_density_prime_ratio_increases_of_large_gaps line 25