author | wenzelm |
Mon, 11 Sep 2023 19:30:48 +0200 | |
changeset 78659 | b5f3d1051b13 |
parent 77277 | c6b50597abbc |
child 79875 | 0e9a809dc0b2 |
permissions | -rw-r--r-- |
71189
954ee5acaae0
Split off new HOL-Complex_Analysis session from HOL-Analysis
Manuel Eberl <eberlm@in.tum.de>
parents:
diff
changeset
|
1 |
theory Complex_Analysis |
71201
6617fb368a06
Reorganised HOL-Complex_Analysis
Manuel Eberl <eberlm@in.tum.de>
parents:
71189
diff
changeset
|
2 |
imports |
6617fb368a06
Reorganised HOL-Complex_Analysis
Manuel Eberl <eberlm@in.tum.de>
parents:
71189
diff
changeset
|
3 |
Residue_Theorem |
77277
c6b50597abbc
More of Eberl's contributions: memomorphic functions
paulson <lp15@cam.ac.uk>
parents:
71201
diff
changeset
|
4 |
Meromorphic |
71189
954ee5acaae0
Split off new HOL-Complex_Analysis session from HOL-Analysis
Manuel Eberl <eberlm@in.tum.de>
parents:
diff
changeset
|
5 |
begin |
954ee5acaae0
Split off new HOL-Complex_Analysis session from HOL-Analysis
Manuel Eberl <eberlm@in.tum.de>
parents:
diff
changeset
|
6 |
|
954ee5acaae0
Split off new HOL-Complex_Analysis session from HOL-Analysis
Manuel Eberl <eberlm@in.tum.de>
parents:
diff
changeset
|
7 |
end |