src/HOL/Analysis/Determinants.thy

--- a/src/HOL/Analysis/Determinants.thy	Tue Nov 05 19:55:42 2019 +0100
+++ b/src/HOL/Analysis/Determinants.thy	Tue Nov 05 21:07:03 2019 +0100
@@ -2,7 +2,7 @@
     Author:     Amine Chaieb, University of Cambridge; proofs reworked by LCP
 *)
 
-section \<open>Traces, Determinant of square matrices and some properties\<close>
+section \<open>Traces and Determinants of Square Matrices\<close>
 
 theory Determinants
 imports