Theorem SetTheory.PGame.Subsequent.moveRight

Modification history