Theorem AdjoinRoot.adjoinRoot_eq_top

Modification history