Theorem PGame.Impartial.neg_equiv_self

Modification history