Theorem Ideal.spanNorm_mul_of_field

Modification history