Theorem SetTheory.PGame.identical_of_eq

Modification history