Theorem NonUnitalRingHom.coe_comp_addMonoidHom

Modification history