Theorem AdjoinRoot.algHom_subsingleton

Modification history