Summary
- added lemmas
- generalized
- added derivative of scaling in exponential function
The file was modified | src/HOL/Multivariate_Analysis/Bounded_Linear_Function.thy (diff) |
The file was modified | src/HOL/Multivariate_Analysis/Convex_Euclidean_Space.thy (diff) |
The file was modified | src/HOL/Multivariate_Analysis/Derivative.thy (diff) |
The file was modified | src/HOL/Multivariate_Analysis/Uniform_Limit.thy (diff) |
The file was modified | src/HOL/Transcendental.thy (diff) |