Theorem SetTheory.PGame.star_moveLeft

Modification history