Theorem StarAlgHom.coe_toNonUnitalStarAlgHom

Modification history