Theorem mersenne_succ

Modification history