Theorem SetTheory.PGame.identical_iff

Modification history