Polynomials now only depend on Deriv; Definition of degree changed
Polynomials now only depend on Deriv; Definition of degree changed

MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle