Theorem SetTheory.PGame.add_neg_cancel_equiv

Modification history