Theorem PGame.add_comm_equiv

Modification history