[isabelle-dev] NEWS

Lawrence Paulson lp15 at cam.ac.uk
Thu Feb 25 14:59:50 CET 2016


More complex analysis including Cauchy's inequality, Liouville theorem, open mapping theorem, maximum modulus principle, Schwarz Lemma. 

(See theory Conformal_Mappings.)

Larry



More information about the isabelle-dev mailing list