Theorem PGame.nim_add_nim_equiv

Modification history