Theorem FractionalIdeal.coe_ideal_mul_inv

Modification history