Theorem NonUnitalRingHom.coe_to_mulHom

Modification history