lambda transition

[ریاضیات] تبدیل تهی، تبدیل لاندا