Theorem FractionalIdeal.le_self_mul_self

Modification history