From 7385e45be6f21a15d6f0a8543fa0a1bc41e46881 Mon Sep 17 00:00:00 2001
From: Robbert Krebbers <mail@robbertkrebbers.nl>
Date: Mon, 11 Sep 2023 18:23:36 +0200
Subject: [PATCH] CHANGELOG.

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

diff --git a/CHANGELOG.md b/CHANGELOG.md
index c9d90f7f..0f37282c 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -95,6 +95,8 @@ longer supported by this release.
 - Rename `fmap_inj` → `list_fmap_eq_inj` and `option_fmap_inj` →
   `option_fmap_eq_inj`. The new lemmas `list_fmap_inj`/`option_fmap_inj`
   generalize injectivity to `Forall2`/`option_Forall2`.
+- Generalize `set_map`, `set_bind`, `set_omap`, `map_to_set` and `map_img`
+  lemmas from `Set_` to `SemiSet`.
 
 **Changes in `stdpp_unstable`:**
 
-- 
GitLab