Theorem FractionalIdeal.mul_left_strictMono

Modification history