Theorem IsSMulRegular.isSMulRegular_iff_mem_nonZeroSMulDivisors

Modification history