Theorem FractionalIdeal.absNorm_eq

Modification history