Def SeminormedCommRing.induced

Modification history