Theorem isLeftRegular_iff_mem_nonZeroDivisorsLeft

Modification history