Theorem zero_mem_nonunits

Modification history