Theorem PGame.moveRight_nim_hEq

Modification history