Theorem NonUnitalAlgHom.coe_lmul_eq_mul

Modification history