Theorem mersenne_mod_eight

Modification history