src/HOL/Library/Fundamental_Theorem_Algebra.thy
changeset 49322 fbb320d02420
parent 46240 933f35c4e126
child 49962 a8cc904a6820