Theorem isSMulRegular_of_range_eq_ker

Modification history