Theorem SetTheory.PGame.Identical.moveRight

Modification history