PanLinx: лямбда-оператор

русский	rus-000
лямбда-оператор

English	eng-000	abstraction operator
English	eng-000	lambda operator

PanLex-PanLinx