Includes the derivates of polynomials -- reals specific content of Poly
Includes the derivates of polynomials -- reals specific content of Poly

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