Theorem NonUnitalStarAlgHom.map_adjoin_singleton

Modification history