Theorem SetTheory.PGame.moveLeft_nim'

Modification history