Theorem isRegular_iff_mem_nonZeroDivisors

Modification history