Def SetTheory.PGame.Relabelling.negCongr

Modification history