Theorem AdjoinRoot.isAdjoinRoot_root_eq_root

Modification history