OAI/NumberTheory/Jacobsthal/Probability/StableSourceVariance.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.Erdos970.ErdosRandomVariance.variancePrimes line 16
2. theorem OAI.Erdos970.ErdosRandomVariance.variancePrimes_prime line 18
3. theorem OAI.Erdos970.ErdosRandomVariance.sieveProduct_pos line 21
4. theorem OAI.Erdos970.ErdosRandomVariance.variance_product_limit line 29
5. theorem OAI.Erdos970.ErdosRandomVariance.source_mean_large line 41
6. theorem OAI.Erdos970.ErdosRandomVariance.stable_prime_variance line 77
7. theorem OAI.Erdos970.ErdosRandomVariance.stable_source_variance line 93