2015-10-27 wenzelm removed presumably obsolete workaround (see 7924d61b50cf);
2015-10-27 paulson Cauchy's integral formula, required lemmas, and a bit of reorganisation
2015-10-26 paulson merged
2015-10-26 paulson new lemmas about topology, etc., for Cauchy integral formula
Loading...
(0) -30000 -10000 -3000 -1000 -300 -100 -30 -10 -4 +4 +10 +30 +100 +300 +1000 +3000 +10000 tip