=
The syntax element = introduces an axiom of the equational theory, and is different from == which specifies an equality based on rewriting.
==
Related: eq, ==
eq
There was an error while loading. Please reload this page.