Theorem isSMulRegular_iff_smul_eq_zero_imp_eq_zero

Modification history