Theorem SetTheory.PGame.lf_moveRight_of_le

Modification history