Theorem Ideal.absNorm_mem

Modification history