OAI/NumberTheory/Catalan/PrimeLimits/ImportedPNTCoreBridge.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.Zeta5.W12.ImportedPNTCoreBridge.psi_eq_actual_vonMangoldt_sum line 12
2. theorem OAI.Zeta5.W12.ImportedPNTCoreBridge.theta_eq_actual_primeLog_sum line 16
3. theorem OAI.Zeta5.W12.ImportedPNTCoreBridge.ratio_tendsto_one_of_isEquivalent_id line 20
4. theorem OAI.Zeta5.W12.ImportedPNTCoreBridge.psi_ratio_tendsto_one line 26
5. theorem OAI.Zeta5.W12.ImportedPNTCoreBridge.theta_ratio_tendsto_one line 30
6. theorem OAI.Zeta5.W12.ImportedPNTCoreBridge.primeLog_sum_ratio_tendsto_one line 34