Goldbach conjecture: every even integer above two is a sum of two primes
Open
complete
References are added by contributors. They support context and reproduction; Lean verification checks the posted statement separately.
Add a source
Sign in to contribute.