src/HOL/Multivariate_Analysis/Brouwer_Fixpoint.thy

--- a/src/HOL/Multivariate_Analysis/Brouwer_Fixpoint.thy	Sat Mar 15 03:37:22 2014 +0100
+++ b/src/HOL/Multivariate_Analysis/Brouwer_Fixpoint.thy	Sat Mar 15 08:31:33 2014 +0100
@@ -4182,7 +4182,6 @@
     apply (rule continuous_on_compose assms)+
     apply ((rule continuous_on_subset)?, rule assms)+
     using assms(2,4,8)
-    unfolding image_compose
     apply auto
     apply blast
     done