Theorem AdjoinRoot.Minpoly.toAdjoin.apply_X

Modification history