Theorem SetTheory.PGame.moveLeft_lf

Modification history