Theorem Ideal.absNorm_span_insert

Modification history