Theorem FractionalIdeal.coeIdeal_absNorm

Modification history