Theorem Polynomial.ofFinsupp_intCast

Modification history

2026-11-02 08:15
Mathlib/Algebra/Polynomial/Basic.lean
refactor(Algebra/Polynomial): make into an `abbrev` of `AddMonoidAlgebra` (#41981) …
Modified Polynomial.ofFinsupp_intCastView on Github →
2025-02-25 22:29
Mathlib/Algebra/Polynomial/Basic.lean
feat: trivial lemmas about polynomial casts (#22227)
Added Polynomial.ofFinsupp_intCastView on Github →