From aa9926492feaf8326f379469a555f77393fcd306 Mon Sep 17 00:00:00 2001 From: thery Date: Tue, 19 Mar 2019 14:26:11 +0100 Subject: - 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 --- doc/changelog/10-standard-library/00000-title.rst | 1 - doc/changelog/10-standard-library/09803-trigo.rst | 2 ++ 2 files changed, 2 insertions(+), 1 deletion(-) create mode 100644 doc/changelog/10-standard-library/09803-trigo.rst (limited to 'doc') diff --git a/doc/changelog/10-standard-library/00000-title.rst b/doc/changelog/10-standard-library/00000-title.rst index d517a0e709..a182366f03 100644 --- a/doc/changelog/10-standard-library/00000-title.rst +++ b/doc/changelog/10-standard-library/00000-title.rst @@ -1,3 +1,2 @@ **Standard library** - diff --git a/doc/changelog/10-standard-library/09803-trigo.rst b/doc/changelog/10-standard-library/09803-trigo.rst new file mode 100644 index 0000000000..10cb069a4c --- /dev/null +++ b/doc/changelog/10-standard-library/09803-trigo.rst @@ -0,0 +1,2 @@ + +- Addition to the Reals theory (`#09803 `_ by Laurent Théry): -- cgit v1.2.3