diff options
| author | Lysxia | 2020-03-22 13:52:06 -0400 |
|---|---|---|
| committer | Lysxia | 2020-03-31 16:24:16 -0400 |
| commit | 0fe509b865727db14277e672a120444d6b913449 (patch) | |
| tree | 0abe79ccc309114f62aca9eec6718abb763fc59c /doc/changelog/10-standard-library/11880-iter.rst | |
| parent | e98e8a03cae984a10fddc8acbe8fd781d4608b24 (diff) | |
NArith, PArith: Add facts about iter
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, 8 insertions, 0 deletions
diff --git a/doc/changelog/10-standard-library/11880-iter.rst b/doc/changelog/10-standard-library/11880-iter.rst new file mode 100644 index 0000000000..be4e44ce4c --- /dev/null +++ b/doc/changelog/10-standard-library/11880-iter.rst @@ -0,0 +1,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). |