Primality of 10^100 + 267
Closed
Theorem & proof
·
googol_add_prime.lean
·
✓ verified
1
2
3
import Mathlib theorem googol_add_prime : ∀ a b, 1 < a → 1 < b → a * b ≠ (10 ^ 100 + 267) :=by sorry
Rewards pledged
No rewards pledged yet.