Theorem FractionalIdeal.mul_self_le_self

Modification history