История изменений
Исправление mix_mix, (текущая версия) :
Только не \xyx.3, а \xxy.3 То, что тебя смущает есть лишь практическая реализация альфа-конверсии. Подробнее в https://en.wikipedia.org/wiki/Lambda_calculus
Исходная версия mix_mix, :
Только не \xyx.3, а \xxy.3 То, что тебя смущает лишь практическая реализация альфа-эквивалентности. Подробнее в https://en.wikipedia.org/wiki/Lambda_calculus#Alpha_equivalence