Theorem PGame.leftMoves_add_cases

Modification history