Theorem SetTheory.PGame.Subsequent.moveLeft_mk_left

Modification history