Theorem PGame.Impartial.mk'_neg_equiv_self

Modification history