Theorem Ideal.spanNorm_mul_spanNorm_le

Modification history