Η conversion

1. REDIRECT Lambda calculus#η-reduction {{DISPLAYTITLE:η conversion}}

{{R to section}}