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: May 17 2021 at 15:13 UTC