OAI/NumberTheory/Jacobsthal/Primes/PrimeInverseBins.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.Erdos970.NumberTheoryLean.PrimeInverseBins.inverseWeight line 19
2. def OAI.Erdos970.NumberTheoryLean.PrimeInverseBins.inverseBin line 23
3. theorem OAI.Erdos970.NumberTheoryLean.PrimeInverseBins.actual_inverse_bin_local line 26
4. theorem OAI.Erdos970.NumberTheoryLean.PrimeInverseBins.cancel_inverse_bin line 64
5. theorem OAI.Erdos970.NumberTheoryLean.PrimeInverseBins.profile_le_nineteen line 80