Theorem NonUnitalAlgHom.coe_inr

Modification history