src/HOL/Complex_Main.thy
author paulson <lp15@cam.ac.uk>
Tue Apr 25 16:39:54 2017 +0100 (2017-04-25)
changeset 65578 e4997c181cce
parent 63571 aee0d92995b6
permissions -rw-r--r--
New material from PNT proof, as well as more default [simp] declarations. Also removed duplicate theorems about geometric series
     1 section \<open>Comprehensive Complex Theory\<close>
     2 
     3 theory Complex_Main
     4 imports
     5   Complex
     6   MacLaurin
     7 begin
     8 
     9 end