Theorem NormMulClass.induced

Modification history