Zulip Chat Archive
Stream: lean4
Topic: (moved)
discuss9128 (Dec 08 2025 at 04:21):
(moved)
Notification Bot (Dec 09 2025 at 06:50):
This topic was moved here from #lean4 > Match on Expr in delaborator by discuss9128.
Last updated: Dec 20 2025 at 21:32 UTC