Def Polynomial.ofMultiset

Modification history

2025-12-06 11:00

Mathlib/Algebra/Polynomial/Basic.lean

feat(Algebra/Polynomial/Basic): Add ofMultiset (#32496) …

Added Polynomial.ofMultiset View on Github →