basic): a polynomial ring over an R-algebra is also an R-algebra (#6533)

Commit

4 years ago

feat(data/mv_polynomial/basic): a polynomial ring over an R-algebra is also an R-algebra (#6533)

Author

eric-wieser

Parents