<html>
  <head>
    <meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
  </head>
  <body>
    <p><font size="+1">Absolutely. The Residue theorem is the bare
        minimum of what I would expect to be included in a development
        of complex analysis, and that requires winding numbers.</font></p>
    <p><font size="+1">I don't really have an idea of what material you
        really need for winding numbers. I recall that Wenda had some
        problems with them (about what happens when there's a pole on
        the path) – perhaps it would make sense to give that theory an
        overhaul altogether? Perhaps he can chime in on this; he
        probably knows much more about this than I do.</font></p>
    <p><font size="+1">Manuel<br>
      </font></p>
    <p><font size="+1"></font><br>
    </p>
    <div class="moz-cite-prefix">On 04/11/2019 13:44, Lawrence Paulson
      wrote:<br>
    </div>
    <blockquote type="cite"
      cite="mid:CE2F7F13-35DC-488A-99A9-45D589A054AA@cam.ac.uk">
      <pre class="moz-quote-pre" wrap="">Then the obvious stopping point is one line above: Derivative.

The problem at the moment with basing a development around the Cauchy integral theorem is that you might also  want to include Winding_Numbers, but that theory inherits almost the whole of Analysis: even the Jordan curve theorem.

Larry

</pre>
      <blockquote type="cite">
        <pre class="moz-quote-pre" wrap="">On 4 Nov 2019, at 12:19, Manuel Eberl <a class="moz-txt-link-rfc2396E" href="mailto:eberlm@in.tum.de"><eberlm@in.tum.de></a> wrote:

Great work, thanks for taking care of this!

Just abstractly speaking, it would seem very odd to me to have a "complex analysis" directory without integration. Complex integration and the Cauchy integral formula are such basic tools in complex analysis that not including them in a "complex analysis" entry would seem… unusual to me.

Perhaps "complex analysis prerequisites".

</pre>
      </blockquote>
      <pre class="moz-quote-pre" wrap="">
</pre>
    </blockquote>
  </body>
</html>