Theorem SetTheory.PGame.neg_equiv_neg_iff

Modification history