-
I just wrote a lambda function in the middle of a general topology proof. That's a new one.
-
Disapproving Drake: let the function L(n) be defined by L(n)(x)=x^n. Approving Drake: let L(n)=(x→x^n). Not actually what I wrote but you get the idea; we'll see what gets written when it's time to submit.