Theorem IsSMulRegular.isSMulRegular_on_quot_iff_smul_mem_implies_mem

Modification history