Eta conversion

  1. REDIRECT Lambda calculus#η-reduction

{{R to section}}