
<html><head><meta http-equiv="Content-Type" content="text/html; charset=us-ascii"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;"><div class="">With a little help from Fabian, I managed to prove the inverse function theorem and therefore to reduce somewhat the theories involved in building Complex_Transcendental, which can now be combined with Complex_Analysis_Basics. There are still 25 ancestor theories. Arguably this material should be moved to its own directory, Complex_Analysis. This development would include quite a bit of basic topology but no integration or measure theory.</div><div class=""><br class=""></div><div class="">If we do this as the first step, the next step should become clearer. I already think it might be based on integration. Any thoughts or reactions?</div><div class=""><br class=""></div><img apple-inline="yes" id="69CF505B-7E1D-457E-8641-7F04834011B5" width="697" height="1226" src="cid:D939CC8C-5BE9-471E-8072-619F69D56B11" class=""><br class=""><br class=""><br class=""><div class="">Larry</div><br class=""></body></html>