Theorem LucasLehmer.mersenne_int_pos

Modification history