Theorem Ideal.relNorm_bot

Modification history