Theorem isSMulRegular_on_quot_iff_lsmul_comap_le

Modification history