Theorem SetTheory.PGame.zero_equiv_neg_iff

Modification history