Theorem AdjoinRoot.equiv'_symm_toAlgHom

Modification history