Theorem AdjoinRoot.isAlgebraic_root

Modification history