Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. Integral form of Gamma function
  2. Facts about HK integration, complex powers, Gamma function
Changeset 63296:3951a15a05d1 by eberlm:
Integral form of Gamma function
The file was modified src/HOL/Multivariate_Analysis/Complex_Transcendental.thy (diff)
The file was modified src/HOL/Multivariate_Analysis/Gamma.thy (diff)
The file was modified src/HOL/Multivariate_Analysis/Integration.thy (diff)
Changeset 63295:52792bb9126e by eberlm:
Facts about HK integration, complex powers, Gamma function
The file was modified src/HOL/Multivariate_Analysis/Complex_Transcendental.thy (diff)
The file was modified src/HOL/Multivariate_Analysis/Gamma.thy (diff)
The file was modified src/HOL/Multivariate_Analysis/Integration.thy (diff)
The file was modified src/HOL/Topological_Spaces.thy (diff)
The file was modified src/HOL/Transcendental.thy (diff)