Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/HOL/Multivariate_Analysis/Path_Connected.thy
changeset 63125 f2d3f8427bc2
parent 63114 27afe7af7379
child 63126 2b50f79829d2 
--- a/src/HOL/Multivariate_Analysis/Path_Connected.thy	Mon May 23 15:46:30 2016 +0100
+++ b/src/HOL/Multivariate_Analysis/Path_Connected.thy	Mon May 23 16:02:46 2016 +0100
@@ -5412,7 +5412,6 @@
     done
 qed
 
-(*REPLACE*)
 lemma isometry_subspaces:
   fixes S :: "'a::euclidean_space set"
     and T :: "'b::euclidean_space set"
isabelle