Theorem StarAlgHom.map_adjoin

Modification history