equal
deleted
inserted
replaced
3 *) |
3 *) |
4 |
4 |
5 section \<open>The Gamma Function\<close> |
5 section \<open>The Gamma Function\<close> |
6 |
6 |
7 theory Gamma_Function |
7 theory Gamma_Function |
8 imports |
8 imports |
9 Conformal_Mappings |
9 Conformal_Mappings |
|
10 Equivalence_Lebesgue_Henstock_Integration |
10 Summation_Tests |
11 Summation_Tests |
11 Harmonic_Numbers |
12 Harmonic_Numbers |
12 "HOL-Library.Nonpos_Ints" |
13 "HOL-Library.Nonpos_Ints" |
13 "HOL-Library.Periodic_Fun" |
14 "HOL-Library.Periodic_Fun" |
14 begin |
15 begin |