Theorem Polynomial.ofFinsupp_zsmul

Modification history

2024-11-15 22:23
Mathlib/Algebra/Polynomial/Basic.lean
refactor(Algebra/Polynomial/Basic): define nsmul/zsmul for Polynomial (#19095) …
Added Polynomial.ofFinsupp_zsmulView on Github →