Commit 2024-12-13 12:32 658f6495
View on Github →chore: move Polynomial.basisMonomials to a separate file (#19933)
... and generalize it to Semiring.
Also add Polynomial.toFinsuppIsoLinear which is even true for Semiring and is in the very definition of Polynomial file.