diff options
| author | Michael Soegtrop | 2019-09-07 07:34:50 +0200 |
|---|---|---|
| committer | Michael Soegtrop | 2020-04-01 16:13:30 +0200 |
| commit | 934c757b72fa9fdae5828068c7e8a050d1103a10 (patch) | |
| tree | 245bb959f5c17177572e3478096ab4518e3a796e /kernel/declareops.ml | |
| parent | aa9926492feaf8326f379469a555f77393fcd306 (diff) | |
- Adjusted definitions and lemmas for asin and acos to what has been discussed
- Added derivative for asin and acos
- Added a few additional trigonometry lemmas
- Added Lemmas for the derivative of a decreasing inverse function
- Did some cleanup (move lemmas to the files where they belong)
Diffstat (limited to 'kernel/declareops.ml')
0 files changed, 0 insertions, 0 deletions