Def SeminormedCommGroup.induced

Modification history