diff options
| -rw-r--r-- | CHANGELOG_UNRELEASED.md | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/CHANGELOG_UNRELEASED.md b/CHANGELOG_UNRELEASED.md index 5b42377..2047211 100644 --- a/CHANGELOG_UNRELEASED.md +++ b/CHANGELOG_UNRELEASED.md @@ -59,8 +59,6 @@ The format is based on [Keep a Changelog](https://keepachangelog.com/en/1.0.0/). `edivnS`, `divnS`, `modnS`, `edivn_pred`, `divn_pred` and `modn_pred`. -- Added map/parametricity theorems about `path`, `sort` and `sorted`: - - Added `mem2E` in `path.v`. - Added `sort_rec1` and `sortE` to help inductive reasoning on `sort`. |