On Thu, 25 Feb 2016, Lawrence Paulson wrote: > More complex analysis including Cauchy's inequality, Liouville theorem, open mapping theorem, maximum modulus principle, Schwarz Lemma. > > (See theory Conformal_Mappings.) For the historical record: this refers to Isabelle/86f27b264d3d. Makarius