Theorem isSMulRegular_iff_ker_lsmul_eq_bot

Modification history