Def adjoin_root.quot_adjoin_root_equiv_quot_polynomial_quot

Modification history