Dmytro
Results
2
comments of
Dmytro
Actually I can't see the difference. My substitution is `[y -> y1]` and your's `[y -> w]` . but the other part looks the same. There is some difference in...
Okay, maybe found what you meant. The lambda transformation should be done as first since on my second line we get a collision