Summary
- poles and residues of the Gamma function
The file was modified | src/HOL/Analysis/Cauchy_Integral_Theorem.thy (diff) |
The file was modified | src/HOL/Analysis/Conformal_Mappings.thy (diff) |
The file was modified | src/HOL/Analysis/Gamma_Function.thy (diff) |
The file was modified | src/HOL/Analysis/Topology_Euclidean_Space.thy (diff) |