Theorem FractionalIdeal.le_self_mul_inv

Modification history