Zulip Chat Archive
Stream: PR reviews
Topic: !4#4761 RepresentationTheory.Rep
Amelia Livingston (Jun 07 2023 at 01:25):
There are 8 broken things left in this file. I'll try and fix some more but this is my first port so I'm very slow. Any help would be appreciated.
Last updated: May 02 2025 at 03:31 UTC