Summary
- Bohr-Mollerup theorem for the Gamma function
The file was modified | src/HOL/Analysis/Gamma_Function.thy (diff) |
The file was modified | src/HOL/Binomial.thy (diff) |
The file was modified | src/HOL/Analysis/Gamma_Function.thy (diff) |
The file was modified | src/HOL/Binomial.thy (diff) |