Theorem FractionalIdeal.mul_inv_cancel_iff

Modification history