Zulip Chat Archive
Stream: triage
Topic: PR #18640: feat(ring_theory/mv_polynomial/symmetric): sum...
Random Issue Bot (Jul 30 2023 at 14:06):
Today I chose PR 18640 for discussion!
feat(ring_theory/mv_polynomial/symmetric): sum of symmetric polynomials is symmetric
Created by @None (@Xialu3421) on 2023-03-23
Labels: awaiting-author, too-late
Is this PR still relevant? Any recent updates? Anyone making progress?
Last updated: Dec 20 2023 at 11:08 UTC