I'm not an expert in complex analysis either, but do remember that it
was briefly mentioned – but not proved – in my introductory lecture on
Complex Analysis when I was an undergratuate.
My intuition tells me that this is a very beautiful result, but not one
that you need a lot, but I could be
I have just added this to the Analysis directory, making its inevitable
refactoring more necessary.
Arguably it should be an AFP entry. Unfortunately, I’m not sufficiently expert
in complex analysis to say whether it is core material or not. It looks like a
fundamental result to me.
We should
