Theorem IsLocalRing.of_nonunits_add

Modification history