src/HOL/Analysis/Poly_Roots.thy

--- a/src/HOL/Analysis/Poly_Roots.thy	Sun Apr 08 12:31:08 2018 +0200
+++ b/src/HOL/Analysis/Poly_Roots.thy	Mon Apr 09 16:20:23 2018 +0200
@@ -8,7 +8,7 @@
 imports Complex_Main
 begin
 
-subsection\<open>Basics about polynomial functions: extremal behaviour and root counts.\<close>
+subsection\<open>Basics about polynomial functions: extremal behaviour and root counts\<close>
 
 lemma sub_polyfun:
   fixes x :: "'a::{comm_ring,monoid_mult}"