Word Equations
Michael Blondin
at
My personal notes
Feb 23, 2026
Let
u
=
v
u = v
u
=
v
. Foo
x
=
y
x = y
x
=
y
bar