Theorem PGame.add_right_neg_equiv

Modification history