author | wenzelm |
Tue, 26 Mar 2013 14:14:39 +0100 | |
changeset 51537 | abcd6d5f7508 |
parent 51536 | a1d324ef12d4 |
child 51538 | 637e64effda2 |
--- a/src/HOL/Library/Fundamental_Theorem_Algebra.thy Tue Mar 26 14:05:08 2013 +0100 +++ b/src/HOL/Library/Fundamental_Theorem_Algebra.thy Tue Mar 26 14:14:39 2013 +0100 @@ -3,7 +3,7 @@ header{*Fundamental Theorem of Algebra*} theory Fundamental_Theorem_Algebra -imports Polynomial Complex +imports Polynomial Complex_Main begin subsection {* Square root of complex numbers *}