changeset 65435 | 378175f44328 |
parent 65417 | fc41a5650fb1 |
child 65486 | d801126a14cb |
--- a/src/HOL/Computational_Algebra/Fundamental_Theorem_Algebra.thy Fri Apr 07 21:07:07 2017 +0200 +++ b/src/HOL/Computational_Algebra/Fundamental_Theorem_Algebra.thy Fri Apr 07 21:17:18 2017 +0200 @@ -1,4 +1,6 @@ -(* Author: Amine Chaieb, TU Muenchen *) +(* Title: HOL/Computational_Algebra/Fundamental_Theorem_Algebra.thy + Author: Amine Chaieb, TU Muenchen +*) section \<open>Fundamental Theorem of Algebra\<close>