Theorem PGame.zero_le_powHalf

Modification history