-
Amin Timany authored
The way the binary relation is defined, the binary fundamental lemma simply doesn't hold. I overlooked the fact that we need to enable CAS only for types where equality is checkable.
24464222
The way the binary relation is defined, the binary fundamental lemma simply doesn't hold. I overlooked the fact that we need to enable CAS only for types where equality is checkable.