Zulip Chat Archive
Stream: Is there code for X?
Topic: could someone please take a look at mathlib4 PR #28175
Notification Bot (Sep 09 2025 at 11:55):
This topic was moved to #PR reviews > could someone please take a look at mathlib4 PR #28175 by Kim Morrison.
Last updated: Dec 20 2025 at 21:32 UTC