Skip to content
[Jenkins]Jenkins
log in
Failed

Changes

Summary

  1. Merge
  2. Wenda Li's new material: residue theorem, argument_principle, Rouche_theorem
Changeset 62541:b351da9b4c7d by paulson _lp15@cam.ac.uk_:
Merge
Changeset 62540:f2fc5485e3b0 by paulson _lp15@cam.ac.uk_:
Wenda Li's new material: residue theorem, argument_principle, Rouche_theorem
The file was modified src/HOL/Multivariate_Analysis/Cauchy_Integral_Thm.thy (diff)
The file was modified src/HOL/Multivariate_Analysis/Complex_Analysis_Basics.thy (diff)
The file was modified src/HOL/Multivariate_Analysis/Conformal_Mappings.thy (diff)