Theorem PGame.zero_equiv_neg_iff

Modification history