Theorem PGame.powHalf_succ_lt_one

Modification history