Theorem IsSMulRegular.mem_of_isSMulRegular_on_quot_of_smul_mem

Modification history