Theorem FractionalIdeal.absNorm_eq'

Modification history