src/HOL/Computational_Algebra/Fundamental_Theorem_Algebra.thy
changeset 71751 abf3e80bd815
parent 69529 4ab9657b3257
child 77282 3fc7c85fdbb5
equal deleted inserted replaced
71750:f39b1afe8845 71751:abf3e80bd815