Theorem mersenne_mod_three

Modification history