Theorem SetTheory.PGame.neg_add_cancel_equiv

Modification history