Theorem SetTheory.PGame.turnBound_of_right

Modification history