Zulip Chat Archive
Stream: ABC-Exceptions
Topic: upstreaming
Bhavik Mehta (May 31 2025 at 18:30):
@Arend Mellendijk I put most of the content from ForMathlib/RingTheory/Radical in #25335, listing you as a co-author on everything
Last updated: Dec 20 2025 at 21:32 UTC