Theorem FractionalIdeal.mul_eq_mul

Modification history