Theorem SetTheory.PGame.moveRight_neg'

Modification history