Theorem AdjoinRoot.quotAdjoinRootEquivQuotPolynomialQuot_symm_mk_mk

Modification history