Theorem Polynomial.toFinsupp_natCast

Modification history

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