Theorem FractionalIdeal.absNorm_nonneg

Modification history