diff options
Diffstat (limited to 'doc/changelog/10-standard-library/11880-iter.rst')
| -rw-r--r-- | doc/changelog/10-standard-library/11880-iter.rst | 8 |
1 files changed, 0 insertions, 8 deletions
diff --git a/doc/changelog/10-standard-library/11880-iter.rst b/doc/changelog/10-standard-library/11880-iter.rst deleted file mode 100644 index be4e44ce4c..0000000000 --- a/doc/changelog/10-standard-library/11880-iter.rst +++ /dev/null @@ -1,8 +0,0 @@ -- **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). |