changeset 69517 | dc20f278e8f3 |
parent 69516 | 09bb8f470959 |
child 69597 | ff784d5a5bfb |
--- a/src/HOL/Analysis/Linear_Algebra.thy Thu Dec 27 23:38:55 2018 +0100 +++ b/src/HOL/Analysis/Linear_Algebra.thy Fri Dec 28 10:29:59 2018 +0100 @@ -2,7 +2,7 @@ Author: Amine Chaieb, University of Cambridge *) -section \<open>Elementary linear algebra on Euclidean spaces\<close> +section \<open>Elementary Linear Algebra on Euclidean Spaces\<close> theory Linear_Algebra imports