symmetric): sum of symmetric polynomials is symmetric
#18640

Open

feat(ring_theory/mv_polynomial/symmetric): sum of symmetric polynomials is symmetric #18640

Xialu3421 wants to merge 2 commits into master from xl_symmetric_sum

add lemma

7bddd597

eric-wieser commented on 2023-03-23

eric-wieser added awaiting-author

improved

dd3bd337

kim-em added too-late

Reviewers

eric-wieser

Assignees

No one assigned

Labels

awaiting-author too-late

Milestone

No milestone