Theorem Ideal.relNorm_apply

Modification history