Theorem PGame.powHalf_succ_lt_powHalf

Modification history