Eta-Reduced Lambda

Please refer to the current example to see how to simplify the usage of built-in functions within the lambda expression using eta-reduced lambda.