Theorem SetTheory.PGame.powHalf_zero

Modification history