polynomial.to_finsupp_iso_linear

Stream: Is there code for X?

[Yury G. Kudryashov]

Am I right that we have neither liner_equiv between polynomial R and add_monoid_algebra R ℕ, nor a version of docs#finsupp.lsum for polynomials?

[Eric Wieser]

We have the former as an alg_equiv