diff options
| author | Cyril Cohen | 2020-09-27 13:35:59 +0200 |
|---|---|---|
| committer | Reynald Affeldt | 2020-10-12 09:25:40 +0900 |
| commit | 6f0f46fc2249023924f62d4400014a500474e1b0 (patch) | |
| tree | eb67d466218df78b2208fbf96a65d474fe208aa7 | |
| parent | bf736cf6aaec0bca0d0202b8686d253123bf4af2 (diff) | |
Update CHANGELOG_UNRELEASED.md
Co-authored-by: Kazuhiko Sakaguchi <pi8027@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 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` |