changeset 58877 | 262572d90bc6 |
parent 57514 | bdc2c6b40bf2 |
child 59557 | ebd8ecacfba6 |
--- a/src/HOL/Multivariate_Analysis/Linear_Algebra.thy Sun Nov 02 17:06:05 2014 +0100 +++ b/src/HOL/Multivariate_Analysis/Linear_Algebra.thy Sun Nov 02 17:09:04 2014 +0100 @@ -2,7 +2,7 @@ Author: Amine Chaieb, University of Cambridge *) -header {* Elementary linear algebra on Euclidean spaces *} +section {* Elementary linear algebra on Euclidean spaces *} theory Linear_Algebra imports