Theorem AdjoinRoot.algHom_ext

Modification history