Theorem AdjoinRoot.equiv'_toAlgHom

Modification history