Theorem SetTheory.PGame.moveLeft_lf_of_le

Modification history