Theorem SetTheory.PGame.Identical.moveLeft

Modification history