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: Dec 20 2023 at 11:08 UTC