Addition

Stream: new members

[David⚛️]

How do I prove this on Lean
x = y + z

x = ya + zb

[Jireh Loreaux]

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]

You should also read #backticks, your *s are being swallowed by Zulip and turned into italics