Theorem SetTheory.PGame.Impartial.neg_equiv_self

Modification history