Theorem AdjoinRoot.quotAdjoinRootEquivQuotPolynomialQuot_mk_of

Modification history