Def Homeomorph.emptySum

Modification history