Theorem Ideal.spanNorm_top

Modification history