src/HOL/Multivariate_Analysis/Conformal_Mappings.thy
Mon, 07 Mar 2016 14:34:45 +0000 paulson new material to Blochj's theorem, as well as supporting lemmas
Mon, 29 Feb 2016 11:42:15 +0000 paulson the integral is 0 when otherwise it would be undefined (also for contour integrals)
Thu, 25 Feb 2016 13:58:48 +0000 paulson Conformal_mappings: a big development in complex analysis (+ some lemmas)
less more (0) tip