src/HOL/Library/Fundamental_Theorem_Algebra.thy
changeset 37093 8808a1aa12a2
parent 36975 fa6244be5215
child 37887 2ae085b07f2f
     1.1 --- a/src/HOL/Library/Fundamental_Theorem_Algebra.thy	Sun May 23 14:56:58 2010 +0100
     1.2 +++ b/src/HOL/Library/Fundamental_Theorem_Algebra.thy	Sun May 23 17:22:30 2010 +0100
     1.3 @@ -786,7 +786,7 @@
     1.4  qed simp
     1.5  
     1.6  
     1.7 -subsection{* Nullstellenstatz, degrees and divisibility of polynomials *}
     1.8 +subsection{* Nullstellensatz, degrees and divisibility of polynomials *}
     1.9  
    1.10  lemma nullstellensatz_lemma:
    1.11    fixes p :: "complex poly"