Theorem FractionalIdeal.coe_inv_of_nonzero

Modification history