mathlib icon indicating copy to clipboard operation
mathlib copied to clipboard
verified publisher icon leanprover-community

feat(ring_theory/mv_polynomial/symmetric): Symmetric polynomials

Open jcommelin opened this issue 5 years ago • 1 comments

Define several kinds of symmetric polynomials.

jcommelin avatar Jun 25 '20 09:06 jcommelin

#3223 -- homogeneous polynomials

jcommelin avatar Jun 29 '20 06:06 jcommelin