Theorem zero_not_mem_nonZeroDivisors

Modification history