Zulip Chat Archive
Stream: mathlib4
Topic: extract_lets cannot extract syntactically identical lets
Notification Bot (Jul 11 2025 at 16:10):
This topic was moved to #lean4 > extract_lets cannot extract syntactically identical lets by Eric Wieser.
Last updated: Dec 20 2025 at 21:32 UTC