diff options
| author | Cyril Cohen | 2020-10-30 18:51:49 +0100 |
|---|---|---|
| committer | GitHub | 2020-10-30 18:51:49 +0100 |
| commit | 07a2bf3aaa85730616cdaf116ef727fedef3ca30 (patch) | |
| tree | b2295a16ba082ae4d9f651040c8966d639cf4609 /CHANGELOG_UNRELEASED.md | |
| parent | 1ec04efdcd1b00a6ae651551699c8b815a2a063f (diff) | |
| parent | 5f430f0d093c8b16a172ef686aa9d194e69f412c (diff) | |
Merge pull request #610 from pi8027/iter-lemmas
Add new lemmas iterM and iterX in ssrnat
Diffstat (limited to 'CHANGELOG_UNRELEASED.md')
| -rw-r--r-- | CHANGELOG_UNRELEASED.md | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/CHANGELOG_UNRELEASED.md b/CHANGELOG_UNRELEASED.md index 83e44b8..29a80db 100644 --- a/CHANGELOG_UNRELEASED.md +++ b/CHANGELOG_UNRELEASED.md @@ -45,6 +45,7 @@ The format is based on [Keep a Changelog](https://keepachangelog.com/en/1.0.0/). - in `ssrnat.v`, new lemmas: `subn_minl`, `subn_maxl` - in `ssrnat.v`, new lemma: `oddS` - in `ssrnat.v`, new lemmas: `subnA`, `addnBn`, `addnCAC`, `addnACl` +- in `ssrnat.v`, new lemmas: `iterM`, `iterX` - in `finset.v`, new lemmas: `mem_imset_eq`, `mem_imset2_eq`. These lemmas will lose the `_eq` suffix in the next release, when the shortende names will become available (cf. Renamed section) |