Zulip Chat Archive
Stream: mathlib4
Topic: Traversable deriving handlers #5606
Johan Commelin (Jul 07 2023 at 10:55):
This one is ready for a meta review
Last updated: Feb 28 2026 at 14:05 UTC
This one is ready for a meta review
Last updated: Feb 28 2026 at 14:05 UTC