Theorem SetTheory.PGame.Impartial.mk'_add_self

Modification history