Zulip Chat Archive
Stream: mathlib4
Topic: Review request
Casavaca (Apr 02 2024 at 03:26):
could someone review #11620, thanks.
Kim Morrison (Apr 02 2024 at 04:09):
@Casavaca, no problem to write here, but for future reference we have a #PR reviews stream specifically for such requests.
Casavaca (Apr 02 2024 at 04:09):
Got it. Thank you.
Kim Morrison (Apr 02 2024 at 04:13):
I left some comments.
Last updated: May 02 2025 at 03:31 UTC