Theorem AdjoinRoot.Minpoly.toAdjoin_apply'

Modification history