Theorem AdjoinRoot.isAdjoinRootMonic_root_eq_root

Modification history