Loading If a^b + 1 is prime, then a is even
6 kyu
Loading If a^b + 1 is prime, then a is even
6 kyu
If a^b + 1 is prime, then a is even
16mhimmel
-
Language
- Lean
-
Language Version
Loading description...
Mathematics
Theorem Proving
Fundamentals