Def SemiNormedGroup.fork

Modification history