Theorem SetTheory.PGame.Equiv.of_equiv

Modification history