Theorem SetTheory.PGame.moveRight_nim

Modification history