Zulip Chat Archive
Stream: new members
Topic: Addition
David⚛️ (Feb 28 2023 at 18:29):
How do I prove this on Lean
x = y + z
x = ya + zb
Jireh Loreaux (Feb 28 2023 at 18:31):
That's not true in a lot of scenarios. Care to make a #mwe? It's hard to understand even exactly what you are asking.
Eric Wieser (Feb 28 2023 at 18:35):
You should also read #backticks, your *
s are being swallowed by Zulip and turned into italics
Last updated: May 02 2025 at 03:31 UTC