Theorem PGame.leftMoves_mul

Modification history