src/HOL/Library/Fundamental_Theorem_Algebra.thy
2009-02-12 nipkow 2009-02-12 Moved FTA into Lib and cleaned it up a little.