Theorem Polynomial.support_toFinsupp

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_toFinsupp View on Github →

2023-08-02 03:48

Mathlib/Data/Polynomial/Basic.lean

chore: golf `Polynomial.degree_mul_le` (#6263) …

Added Polynomial.support_toFinsupp View on Github →