Theorem FractionalIdeal.mul_inv_cancel_iff_isUnit

Modification history