HomePhabricator

renamed Analysis/Winding_Numbers to Winding_Numbers_2; reorganised…

Description

renamed Analysis/Winding_Numbers to Winding_Numbers_2; reorganised Analysis/Cauchy_Integral_Theorem by splitting it into Contour_Integration, Winding_Numbers,Cauchy_Integral_Theorem and Cauchy_Integral_Formula.

Details

Committed
Wenda Li <wl302@cam.ac.uk>Sun, Dec 1, 8:10 PM
Parents
rISABELLE8331063570d6: bit accessor and fundamental properties
Branches
Unknown
Tags
Unknown