Theorem Ideal.spanNorm_eq

Modification history