Typo fixed.
authorwebertj
Sun May 23 17:22:30 2010 +0100 (2010-05-23)
changeset 370938808a1aa12a2
parent 37092 891d3333ead1
child 37094 2e93e29a809a
Typo fixed.
src/HOL/Library/Fundamental_Theorem_Algebra.thy
     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"