Theorem SetTheory.PGame.sub_self_equiv

Modification history