equal
deleted
inserted
replaced
7 header{*Comprehensive Complex Theory*} |
7 header{*Comprehensive Complex Theory*} |
8 |
8 |
9 theory Complex_Main |
9 theory Complex_Main |
10 imports |
10 imports |
11 "../Main" |
11 "../Main" |
|
12 "../Real/ContNotDenum" |
|
13 "../Real/Real" |
12 Fundamental_Theorem_Algebra |
14 Fundamental_Theorem_Algebra |
13 "../Hyperreal/Log" |
15 "../Hyperreal/Log" |
14 "../Hyperreal/Ln" |
16 "../Hyperreal/Ln" |
15 "../Hyperreal/Taylor" |
17 "../Hyperreal/Taylor" |
16 "../Hyperreal/Integration" |
18 "../Hyperreal/Integration" |