Def Polynomial.toFinsuppIsoLinear

Modification history

2024-12-13 12:32

Mathlib/Algebra/Polynomial/Basic.lean

chore: move `Polynomial.basisMonomials` to a separate file (#19933) …

Added Polynomial.toFinsuppIsoLinear View on Github →