Theorem SetTheory.PGame.inv_one_equiv

Modification history