Theorem isSMulRegular_iff_right_eq_zero_of_smul

Modification history