Loading If a^b + 1 is prime, then b is a power of two
Beta
Loading If a^b + 1 is prime, then b is a power of two
Beta
If a^b + 1 is prime, then b is a power of two
-
Language
- Lean
-
Language Version
