Zulip Chat Archive
Stream: Is there code for X?
Topic: Extracting a subexpression to an auxiliary declaration
Notification Bot (Jul 05 2024 at 15:45):
This topic was moved to #lean4 > Extracting a subexpression to an auxiliary declaration by Eric Wieser.
Last updated: May 02 2025 at 03:31 UTC