diff options
| author | Reynald Affeldt | 2021-01-14 13:50:52 +0900 |
|---|---|---|
| committer | Reynald Affeldt | 2021-01-14 16:49:39 +0900 |
| commit | 5e809e16078d4659cd2dbb6c1bbc754fa6d3b6ee (patch) | |
| tree | 1bb7ffc64f68d489e4542522ea2c321be7a335c9 /CHANGELOG_UNRELEASED.md | |
| parent | aaffb229c5e0a74c4d52a94dd67197c099c4d89b (diff) | |
itv_bound comparison with -oo/+oo
Diffstat (limited to 'CHANGELOG_UNRELEASED.md')
| -rw-r--r-- | CHANGELOG_UNRELEASED.md | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/CHANGELOG_UNRELEASED.md b/CHANGELOG_UNRELEASED.md index ad3cae2..1e779c3 100644 --- a/CHANGELOG_UNRELEASED.md +++ b/CHANGELOG_UNRELEASED.md @@ -22,6 +22,8 @@ The format is based on [Keep a Changelog](https://keepachangelog.com/en/1.0.0/). - in `path.v`, new lemmas: `sorted_pairwise(_in)`, `path_pairwise(_in)`, `cycle_all2rel(_in)`, `pairwise_sort`, and `sort_pairwise_stable`. +- in `interval.v`, new lemmas: `ge_pinftyE`, `le_ninftyE`, `gt_pinfty`, `lt_ninfty`. + ### Changed - In `ssralg.v` and `ssrint.v`, the nullary ring notations `-%R`, `+%R`, `*%R`, |