Theorem PGame.neg_equiv_iff

Modification history