Theorem isSMulRegular_iff_mem_nonZeroSMulDivisors

Modification history