Theorem AlgHom.map_adjoin_singleton

Modification history