Theorem FractionalIdeal.absNorm_div_norm_eq_absNorm_div_norm

Modification history