Theorem PGame.powHalf_le_one

Modification history