Theorem FractionalIdeal.den_mul_self_eq_num

Modification history