Theorem SetTheory.PGame.moveRight_memᵣ

Modification history