Theorem SetTheory.PGame.powHalf_pos

Modification history