ZetaSummary

📁 Source: PrimeNumberTheoremAnd/ZetaSummary.lean

Statistics

Metric	Count
Definitions	0
Theorems GW_theorem, main_theorem, MTY_theorem, MT_theorem_1, PT_theorem_1, Platt_theorem	6
Total	6
⚠️ With sorry GW_theorem, main_theorem, MTY_theorem, MT_theorem_1, PT_theorem_1, Platt_theorem	6

HSW

Theorems

Name	Kind	Assumes	Proves	Validates	Depends On
main_theorem 📖 ⚠️	mathematical	—	riemannZeta.Riemann_vonMangoldt_bound	—	—

(root)

Theorems

Name	Kind	Assumes	Proves	Validates	Depends On
GW_theorem 📖 ⚠️	mathematical	—	riemannZeta.RH_up_to	—	—
MTY_theorem 📖 ⚠️	mathematical	—	riemannZeta.classicalZeroFree	—	—
MT_theorem_1 📖 ⚠️	mathematical	—	riemannZeta.classicalZeroFree	—	—
PT_theorem_1 📖 ⚠️	mathematical	—	riemannZeta.RH_up_to	—	—
Platt_theorem 📖 ⚠️	mathematical	—	riemannZeta.RH_up_to	—	—

---

← Back to Index