I'm afraid I've no idea. I didn't study much analysis for my first degree, not even the basics of complex analysis. Larry > On 18 Jan 2018, at 14:29, Tobias Nipkow <nipkow at in.tum.de> wrote: > > So what is the situation wrt the theories I asked about?