Theorem SetTheory.PGame.add_powHalf_succ_self_eq_powHalf

Modification history