Def NormedGroup.induced

Modification history