Theorem Details
-- primes are infinite
import Mathlib.Data.Nat.Prime.Defs
theorem infinite_primes : ∀ N : ℕ, ∃ p : ℕ, p > N ∧ p.Prime := by sorry
Bounty: 0.05 ETH
Status: Open