Theorem SetTheory.PGame.powHalf_succ_rightMoves

Modification history