Theorem Polynomial.toFinsupp_intCast

Modification history

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