Theorem Ideal.spanNorm_mul

Modification history