author | wenzelm |
Mon, 13 Apr 2020 22:08:14 +0200 | |
changeset 71751 | abf3e80bd815 |
parent 71201 | 6617fb368a06 |
child 77277 | c6b50597abbc |
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 |
6617fb368a06
Reorganised HOL-Complex_Analysis
Manuel Eberl <eberlm@in.tum.de>
parents:
71189
diff
changeset
|
4 |
Riemann_Mapping |
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 |