Theorem FractionalIdeal.mul_div_self_cancel_iff

Modification history