Theorem EuclideanDomain.mul_right_not_lt

Modification history