Theorem Nat.Prime.of_mersenne

Modification history