Theorem PGame.powHalf_succ_rightMoves

Modification history