Theorem SetTheory.PGame.zero_leftMoves

Modification history