Theorem EuclideanDomain.mod_lt

Modification history