Email Post: Evaluating Winding Numbers and Counting Complex Roots Through Cauchy Indices in Isabelle/HOL