blob: adfc48f67b2c834402703d2f210e98ce555649ce (
plain)
1
2
3
4
|
- **Added:**
New lemmas about ``repeat`` in ``List`` and ``Permutation``: ``repeat_app``, ``repeat_eq_app``, ``repeat_eq_cons``, ``repeat_eq_elt``, ``Forall_eq_repeat``, ``Permutation_repeat``
(`#12799 <https://github.com/coq/coq/pull/12799>`_,
by Olivier Laurent).
|
