Theorem SetTheory.PGame.turnBound_of_left

Modification history