equal
deleted
inserted
replaced
1 section \<open>Complex path integrals and Cauchy's integral theorem\<close> |
1 section \<open>Complex Path Integrals and Cauchy's Integral Theorem\<close> |
2 |
2 |
3 text\<open>By John Harrison et al. Ported from HOL Light by L C Paulson (2015)\<close> |
3 text\<open>By John Harrison et al. Ported from HOL Light by L C Paulson (2015)\<close> |
4 |
4 |
5 theory Cauchy_Integral_Theorem |
5 theory Cauchy_Integral_Theorem |
6 imports Complex_Transcendental Weierstrass_Theorems Ordered_Euclidean_Space |
6 imports Complex_Transcendental Weierstrass_Theorems Ordered_Euclidean_Space |