Theorem AlgHom.adjoin_ext

Modification history