diff --git a/CHANGELOG.md b/CHANGELOG.md
index 26ef6df1164c323f3639c570fbe2e43e4f600bda..e67fcf4d2976cc710b5dc9bfe0e3c80587ed10fc 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`).