Riemann Hypothesis
Closed
Theorem & proof
·
riemann_hypothesis.lean
·
✓ verified
1
2
3
import Mathlib theorem riemann_hypothesis (s : ℂ) (h : riemannZeta s = 0) (h₁ : 0 < s.re) (h₂ : s.re < 1) : s.re = 1 / 2 := sorry
Rewards pledged
No rewards pledged yet.