Theorem PGame.moveLeft_nim_hEq

Modification history