Theorem NonUnitalStarAlgHom.map_adjoin

Modification history