Theorem Polynomial.support_ofFinsupp

Modification history

2026-07-04 08:56

Mathlib/Algebra/Polynomial/Basic.lean

refactor(Algebra): make `MonoidAlgebra` into a one-field structure (#38714) …

Modified Polynomial.support_ofFinsupp View on Github →

2023-03-08 07:29

Mathlib/Data/Polynomial/Basic.lean

feat: port Data.Polynomial.Basic (#2620)

Added Polynomial.support_ofFinsupp View on Github →