blob: be4e44ce4c42add3e222d3844981c400e9efa440 (
plain)
1
2
3
4
5
6
7
8
|
- **Added:**
Facts about ``N.iter`` and ``Pos.iter``:
- ``N.iter_swap_gen``, ``N.iter_swap``, ``N.iter_succ``, ``N.iter_succ_r``, ``N.iter_add``, ``N.iter_ind``, ``N.iter_invariant``;
- ``Pos.iter_succ_r``, ``Pos.iter_ind``.
(`#11880 <https://github.com/coq/coq/pull/11880>`_,
by Lysxia).
|
