Theorem SetTheory.PGame.nim_add_nim_equiv

Modification history