Theorem IsSMulRegular.mem_nonZeroSMulDivisors

Modification history