From 8b9219a06fa72ec69ec404e97cf8c87de30f9965 Mon Sep 17 00:00:00 2001
From: Olivier Laurent
Date: Fri, 3 Apr 2020 18:42:22 +0200
Subject: add properties of operations on vectors

---
 doc/changelog/10-standard-library/12014-ollibs-vector.rst | 10 ++++++++++
 1 file changed, 10 insertions(+)
 create mode 100644 doc/changelog/10-standard-library/12014-ollibs-vector.rst

(limited to 'doc')

diff --git a/doc/changelog/10-standard-library/12014-ollibs-vector.rst b/doc/changelog/10-standard-library/12014-ollibs-vector.rst
new file mode 100644
index 0000000000..87625dd23b
--- /dev/null
+++ b/doc/changelog/10-standard-library/12014-ollibs-vector.rst
@@ -0,0 +1,10 @@
+- **Added:**
+  Properties of some operations on vectors:
+
+  - ``nth_order``: ``nth_order_hd``, ``nth_order_tl``, ``nth_order_ext``
+  - ``replace``: ``nth_order_replace_eq``, ``nth_order_replace_neq``, ``replace_id``, ``replace_replace_eq``, ``replace_replace_neq``
+  - ``map``: ``map_id``, ``map_map``, ``map_ext_in``, ``map_ext``
+  - ``Forall`` and ``Forall2``: ``Forall_impl``, ``Forall_forall``, ``Forall_nth_order``, ``Forall2_nth_order``
+
+  (`#12014 <https://github.com/coq/coq/pull/12014>`_,
+  by Olivier Laurent).
-- 
cgit v1.2.3