diff options
| author | Cyril Cohen | 2021-01-19 14:47:39 +0100 |
|---|---|---|
| committer | GitHub | 2021-01-19 14:47:39 +0100 |
| commit | f50852b0745b287c0ce8269752507bddd5be9fe2 (patch) | |
| tree | abe24cc06022c9092cfeb562e23b14dd14bf6116 | |
| parent | 1b1b52fc8777c54f411c8c51dc9ce5d4dbf137a8 (diff) | |
Update CHANGELOG_UNRELEASED.md
Co-authored-by: Anton Trunov <anton.a.trunov@gmail.com>
| -rw-r--r-- | CHANGELOG_UNRELEASED.md | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/CHANGELOG_UNRELEASED.md b/CHANGELOG_UNRELEASED.md index 839e796..e0c36e4 100644 --- a/CHANGELOG_UNRELEASED.md +++ b/CHANGELOG_UNRELEASED.md @@ -10,7 +10,7 @@ The format is based on [Keep a Changelog](https://keepachangelog.com/en/1.0.0/). ### Added -- in `ssrnat.v`, added lemma `sumnB`. +- in `bigop.v`, added lemma `sumnB`. - in `seq.v`, + new higher-order predicate `pairwise r xs` which asserts that the relation |