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 fb9381f..79d4c93 100644 --- a/CHANGELOG_UNRELEASED.md +++ b/CHANGELOG_UNRELEASED.md @@ -58,8 +58,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`. |