Theorem isSMulRegular_on_quot_iff_lsmul_comap_eq

Modification history