feat(data/polynomial/taylor): taylor's formula (#11139)
Via proofs about `hasse_deriv`.
Added some monomial API too.
Co-authored-by: Yakov Pechersky <pechersky@users.noreply.github.com>
Co-authored-by: Yakov Pechersky <ypechersky@treeline.bio>
Co-authored-by: adomani <adomani@gmail.com>
Co-authored-by: damiano <adomani@gmail.com>
