Eta conversion
An eta conversion (also written η conversion) is… Wait, what is an eta conversion? I've forgetten! MathematicalOrchid 16:51, 29 January 2007 (UTC)
An eta conversion (also written η conversion) is… Wait, what is an eta conversion? I've forgetten! MathematicalOrchid 16:51, 29 January 2007 (UTC)