Theorem isSMulRegular_on_submodule_iff_disjoint_ker_lsmul_submodule

Modification history