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: May 02 2025 at 03:31 UTC