Theorem SetTheory.PGame.moveLeft_memₗ

Modification history