Theorem isSMulRegular_submodule_iff_right_eq_zero_of_smul

Modification history