src/HOL/Complex_Main.thy
author wenzelm
Tue Sep 26 20:54:40 2017 +0200 (22 months ago)
changeset 66695 91500c024c7f
parent 63571 aee0d92995b6
permissions -rw-r--r--
tuned;
     1 section \<open>Comprehensive Complex Theory\<close>
     2 
     3 theory Complex_Main
     4 imports
     5   Complex
     6   MacLaurin
     7 begin
     8 
     9 end