Def minpoly.equivAdjoin

Modification history