Theorem SetTheory.PGame.Impartial.add_self

Modification history