Theorem polynomial.smul_monomial
Modification history
2023-04-24 13:09
src/data/polynomial/basic.lean
feat(algebra & polynomial): some (q)smul lemmas+generalisations (#18852) …
Modified polynomial.smul_monomialView on Github →2021-06-12 11:10
src/data/polynomial/basic.lean
feat(data/polynomial): generalize `polynomial.has_scalar` to require only `distrib_mul_action` instead of `semimodule` (#7664) …
Modified polynomial.smul_monomialView on Github →