Theorem PGame.add_left_neg_equiv

Modification history