Theorem LocalRing.nonunits_add

Modification history