Theorem SetTheory.PGame.one_leftMoves

Modification history