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