From f50852b0745b287c0ce8269752507bddd5be9fe2 Mon Sep 17 00:00:00 2001 From: Cyril Cohen Date: Tue, 19 Jan 2021 14:47:39 +0100 Subject: Update CHANGELOG_UNRELEASED.md Co-authored-by: Anton Trunov --- CHANGELOG_UNRELEASED.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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 -- cgit v1.2.3