Theorem PGame.inv_one_equiv

Modification history