Theorem SetTheory.PGame.moveLeft_nim_heq

Modification history