OAI/Geometry/HeilbronnTriangle/PrimeParameters.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.Problem355.PrimeParameters.exists_base_prime line 10
2. theorem OAI.Problem355.PrimeParameters.exists_base_prime_le_pow line 18
3. theorem OAI.Problem355.PrimeParameters.exists_auxiliary_prime line 30
4. theorem OAI.Problem355.PrimeParameters.auxiliary_prime_large line 45
5. theorem OAI.Problem355.PrimeParameters.exists_prime_parameters line 58
6. theorem OAI.Problem355.PrimeParameters.digit_moment_parameter_le_half line 75
7. theorem OAI.Problem355.PrimeParameters.exists_base_for_sampling line 97
8. theorem OAI.Problem355.PrimeParameters.exists_odd_prime_sequence line 115