Theorem SetTheory.PGame.Identical.ext_iff

Modification history