Theorem Polynomial.toFinsupp_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.toFinsupp_zsmulView on Github →