Theorem Polynomial.toFinsupp_ofNat

Modification history

2025-02-25 22:29
Mathlib/Algebra/Polynomial/Basic.lean
feat: trivial lemmas about polynomial casts (#22227)
Added Polynomial.toFinsupp_ofNatView on Github →