Theorem AdjoinRoot.minpoly_root

Modification history