Theorem SetTheory.PGame.moveRight_nim_hEq

Modification history