Zulip Chat Archive
Stream: new members
Topic: Difference between DiscrTree.getMatch and DiscrTree.getUnify
Notification Bot (Apr 12 2025 at 20:04):
This topic was moved to #lean4 > Difference between DiscrTree.getMatch and DiscrTree.getUnify by Kyle Miller.
Last updated: Dec 20 2025 at 21:32 UTC