Theorem PGame.leftMoves_mul_cases

Modification history