Theorem SetTheory.PGame.up_leftMoves

Modification history