Theorem FractionalIdeal.mul_right_strictMono

Modification history