Zulip Chat Archive
Stream: mathlib4
Topic: Looking for reviewer for #34435 (Poisson convolution)
huaizhangchu (Feb 05 2026 at 06:22):
Hi! I have a PR #34435 about Poisson distribution convolution that's been waiting for review for about a week. Would anyone be available to take a look? I'd really appreciate any feedback or guidance. Thanks!
Yongxi Lin (Aaron) (Feb 05 2026 at 07:40):
You should remove the awaiting author label, and you can do this by commeting -awaiting-author
huaizhangchu (Feb 05 2026 at 08:58):
Thanks a lot!
Last updated: Feb 28 2026 at 14:05 UTC