diff options
| author | Anton Trunov | 2020-04-01 10:07:15 +0300 |
|---|---|---|
| committer | GitHub | 2020-04-01 10:07:15 +0300 |
| commit | 402e37a405e4085365fdcbdc959fe00d2c340da2 (patch) | |
| tree | a6be8c7b91753e3498938bea2c32059f1ab1ba22 /doc | |
| parent | dc723c2aa614e6b31ef5a4c9764ff92c0860880e (diff) | |
| parent | 0fe509b865727db14277e672a120444d6b913449 (diff) | |
Merge pull request #11880 from Lysxia/iter
NArith, PArith: Add facts about iter
Diffstat (limited to 'doc')
| -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). |