Theorem AlgHom.map_adjoin

Modification history