Theorem PGame.powHalf_succ_moveRight

Modification history