Theorem SetTheory.PGame.moveRight_nim_heq

Modification history