Zulip Chat Archive
Stream: PR reviews
Topic: !4#5584 for !4#5409
Jeremy Tan (Jul 01 2023 at 03:12):
I'd like a review of !4#5584, which renames Fin stuff to move out of the way of certain upstreamed lemmas and allows !4#5409 to proceed
Last updated: Dec 20 2023 at 11:08 UTC