diff --git a/CHANGELOG.md b/CHANGELOG.md
index 12133236b2f86e6adf82c06756345fde91ef1554..68701b609a437bd2f937781ffa9df527b641cd2b 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -5,6 +5,8 @@ API-breaking change is listed.
 
 - Generalize `foldr_comm_acc`, `map_fold_comm_acc`, `set_fold_comm_acc`, and
   `gmultiset_set_fold_comm_acc` to have more general type. (by Yannick Zakowski)
+- Strengthen `map_disjoint_difference_l` and `map_disjoint_difference_l`, and
+  thereby make them consistent with the corresponding lemmas for sets.
 
 ## std++ 1.10.0 (2024-04-12)