diff options
| author | thery | 2019-03-19 14:26:11 +0100 |
|---|---|---|
| committer | Michael Soegtrop | 2020-04-01 16:12:14 +0200 |
| commit | aa9926492feaf8326f379469a555f77393fcd306 (patch) | |
| tree | 7ff538220fd143efe78c04f80b65bc208d959df0 /doc/stdlib | |
| parent | 828b79f744ffc1f292a77a80553906544c1c0cfb (diff) | |
- Addition to the Reals theory :
- minus: lemmas `Rminus_eq_0` and `Rmult_minus_distr_r`
- sin : sin_inj
- cos : cos_inj
- sqrt : lemmas `pow2_sqrt` and `inv_sqrt`
- atan : lemmas `tan_inj`, `atan_eq0`, `atan_tan` and `tan_atan`
- asin : definition and some basic properties
- acos : definition and some basic properties
Diffstat (limited to 'doc/stdlib')
0 files changed, 0 insertions, 0 deletions