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: Dec 20 2023 at 11:08 UTC