src/HOL/Library/Fundamental_Theorem_Algebra.thy
changeset 51537 abcd6d5f7508
parent 50636 07f47142378e
child 51541 e7b6b61b7be2
     1.1 --- a/src/HOL/Library/Fundamental_Theorem_Algebra.thy	Tue Mar 26 14:05:08 2013 +0100
     1.2 +++ b/src/HOL/Library/Fundamental_Theorem_Algebra.thy	Tue Mar 26 14:14:39 2013 +0100
     1.3 @@ -3,7 +3,7 @@
     1.4  header{*Fundamental Theorem of Algebra*}
     1.5  
     1.6  theory Fundamental_Theorem_Algebra
     1.7 -imports Polynomial Complex
     1.8 +imports Polynomial Complex_Main
     1.9  begin
    1.10  
    1.11  subsection {* Square root of complex numbers *}