Theorem MulAlgebraNorm.extends_norm

Modification history