Theorem PGame.Impartial.add_self

Modification history