Theorem SetTheory.PGame.neg_equiv_zero_iff

Modification history