Theorem Ideal.absNorm_bot

Modification history