Theorem FractionalIdeal.den_mul_self_eq_num'

Modification history