src/HOL/Multivariate_Analysis/Complex_Analysis_Basics.thy
Mon, 26 Oct 2015 23:41:27 +0000 paulson new lemmas about topology, etc., for Cauchy integral formula
Tue, 22 Sep 2015 16:55:49 +0100 paulson SOME rather than THE makes it easy to prove equivalence with other forms of derivatives
less more (0) -10 -2 tip