Woodall Primes

References:

• Wikipedia/Woodall Number
• A2234

theorem WoodallPrimes.infinitely_many_woodall_primes : {k : ℕ | 1 < k ∧ Nat.Prime (k * 2 ^ k - 1)}.Infinite

There are infinitely many prime numbers of the form k * 2 ^ k - 1 for k > 1.