From 3ebfb878a552f45c9aa3f5d29e43c2c18e3d681c Mon Sep 17 00:00:00 2001
From: Michael Sammler <noreply@sammler.me>
Date: Wed, 27 Jul 2022 08:40:38 +0200
Subject: [PATCH] Add CHANGELOG for `map_Exists`

---
 CHANGELOG.md | 1 +
 1 file changed, 1 insertion(+)

diff --git a/CHANGELOG.md b/CHANGELOG.md
index 26ef6df1..e67fcf4d 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -23,6 +23,7 @@ Coq 8.11 is no longer supported.
 - Add function `map_preimage` to compute the preimage of a finite map.
 - Rename `map_disjoint_subseteq` â†’ `kmap_subseteq` and
   `map_disjoint_subset` â†’ `kmap_subset`.
+- Add `map_Exists` as an analogue to `map_Forall`. (by Michael Sammler)
 
 The following `sed` script should perform most of the renaming
 (on macOS, replace `sed` by `gsed`, installed via e.g. `brew install gnu-sed`).
-- 
GitLab