Theorem NonUnitalAlgHom.map_adjoin

Modification history