Theorem SetTheory.PGame.numeric_powHalf

Modification history