changeset 71044 | cb504351d058 |
parent 70136 | f03a01a18c6e |
child 73477 | 1d8a79aa2a99 |
--- 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