Python lambdas are just syntactic sugar for creating a function object. The ast can just build a named function and use it in the needed expression.
In fact, a lot of SICP examples have you define a function within a function with a name like "iter" for TCO recursion. It'd work like that.
Edit: seems like gyka below confirms that's how it works. I should have read on!