Theorem PGame.nim_one_equiv

Modification history