Theorem SetTheory.PGame.add_comm_equiv

Modification history