Add is_mersenne_prime to ntheory doc