Theorem isSMulRegular_of_ker_lsmul_eq_bot

Modification history