Theorem le_nonZeroDivisors_iff_isRegular

Modification history