PR #3169: feat(ring_theory/mv_polynomial/symmetric): Symm...

Stream: triage

[Random Issue Bot]

Today I chose PR 3169 for discussion!

feat(ring_theory/mv_polynomial/symmetric): Symmetric polynomials
Created by @Johan Commelin (@jcommelin) on 2020-06-25
Labels: help-wanted, WIP, t-algebra

Is this PR still relevant? Any recent updates? Anyone making progress?

[Yaël Dillies]

Working on it. Expect it be ready in about a month.

[Sebastien Gouezel]

Are you aware that mathlib 3 will probably not be accepting PRs in less than one month, and that it would probably be a good idea to PR directly in mathlib 4?

[Yaël Dillies]

"working on it" does not presuppose anything about which version of mathlib it will make it to.