Theorem Ideal.absNorm_apply

Modification history