Theorem PGame.numeric_powHalf

Modification history