OAI/NumberTheory/Ostmann/Construction/InitialPrimeWindow.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

Every live initial prime exceeds the Poisson product ratio

  1. theorem OAI.Ostmann.eventual_linear_product_prime_window line 9