OAI/NumberTheory/Jacobsthal/Sieve/ExponentialIntegral.lean

GitHub source file

3 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.Erdos970.ErdosAverageCertificates.exponentialIntegral_log_limit line 20
2. theorem OAI.Erdos970.ErdosAverageCertificates.exponentialIntegral_exp_limit line 97
3. theorem OAI.Erdos970.ErdosAverageCertificates.laplace_final_value_of_tendsto line 111