Def adjoin_root.minpoly.to_adjoin

Modification history