Theorem IsSMulRegular.isSMulRegular_of_smul_eq_zero_imp_eq_zero

Modification history