Def SetTheory.PGame.Short.ofIsEmpty

Modification history