Def adjoin_root.polynomial.quot_quot_equiv_comm

Modification history