Theorem SetTheory.PGame.turnBound_ne_zero_of_left_move

Modification history