Theorem AlgHom.ext_of_eq_adjoin

Modification history