Theorem SetTheory.PGame.powHalf_succ_moveRight

Modification history