blob: 73eb9a78d91ea6e62d7b8607255fe1855ca125a4 (
plain)
1
2
3
4
|
- **Added:**
Lemmas to ``List``: ``Exists_map``, ``Exists_concat``, ``Exists_flat_map``, ``Forall_map``, ``Forall_concat``, ``Forall_flat_map``, ``nth_error_map``, ``nth_repeat``, ``nth_error_repeat``
(`#13955 <https://github.com/coq/coq/pull/13955>`_,
by Andrej Dudenhefner, with help from Olivier Laurent).
|
