Theorem SetTheory.PGame.powHalf_leftMoves

Modification history