Theorem FractionalIdeal.absNorm_one

Modification history