Theorem PGame.Impartial.mk'_add_self

Modification history