Def Polynomial.basisMonomials

Modification history

2024-12-13 12:32

Mathlib/Algebra/Polynomial/Basis.lean

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

Added Polynomial.basisMonomials View on Github →