3 ms·
Yes. I too thought it was this. It is equality, and thereby lets you rewrite one side into the other side. Then again I quite like rewriting languages like Mat
by moi2388 1y ago
Yes. I too thought it was this. It is equality, and thereby lets you rewrite one side into the other side.
Then again I quite like rewriting languages like Mathematica and lean