Theorem Ideal.relNorm_singleton

Modification history