From 6f0f46fc2249023924f62d4400014a500474e1b0 Mon Sep 17 00:00:00 2001 From: Cyril Cohen Date: Sun, 27 Sep 2020 13:35:59 +0200 Subject: Update CHANGELOG_UNRELEASED.md Co-authored-by: Kazuhiko Sakaguchi --- CHANGELOG_UNRELEASED.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/CHANGELOG_UNRELEASED.md b/CHANGELOG_UNRELEASED.md index f79042d..c837a2f 100644 --- a/CHANGELOG_UNRELEASED.md +++ b/CHANGELOG_UNRELEASED.md @@ -32,7 +32,7 @@ The format is based on [Keep a Changelog](https://keepachangelog.com/en/1.0.0/). - in `ssralg.v`, new lemma `sumr_const_nat` and `iter_addr_0` - in `ssrnum.v`, new lemma `ler_sum_nat` - in `ssrnum.v`, new lemmas `big_real`, `sum_real`, `prod_real`, - `max_real`, `min_real`, and `bigmax_real`, `bigmin_real`. + `max_real`, `min_real`, `bigmax_real`, and `bigmin_real`. - in `order.v`, new lemmas `comparable_bigl` and `comparable_bigr`. - in `seq.v`, new lemmas: `take_uniq`, `drop_uniq` -- cgit v1.2.3