Theorem SetTheory.PGame.moveRight_nim'

Modification history