src/HOL/Analysis/Poly_Roots.thy
changeset 68743 91162dd89571
parent 67968 a5ad4c015d1c
child 68833 fde093888c16