Theorem SetTheory.PGame.Identical.of_equiv

Modification history