Zulip Chat Archive

Stream: Is there code for X?

Topic: Symmetric Functions

Jesse Selover (Sep 25 2020 at 22:21):

Is there any code related to symmetric functions or symmetric polynomials in mathlib?

Heather Macbeth (Sep 25 2020 at 22:26):

There's a draft PR of @Johan Commelin, #3169

Jesse Selover (Sep 25 2020 at 22:30):

Thanks! I'll take a look

Last updated: Dec 20 2023 at 11:08 UTC