diff --git a/CHANGELOG.md b/CHANGELOG.md
index 1c0b56f1c9a69513be0eec4c55064530124bcfc9..974dec88af9bb61b132ca414655d8c91aae80982 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -108,7 +108,8 @@ and Yiyun Liu. Thanks a lot to everyone involved!
 - Add `gmultiset_map` and associated lemmas. (by Marijn van Wezel)
 - Add `CProd` type class for Cartesian products; with instances for `list`,
   `gset`, `boolset`, `MonadSet` (i.e., `propset`, `listset`); and `set_solver`
-  tactic support. (by Thibaut Pérami)
+	tactic support. (by Thibaut Pérami)
+- Add some zip lemmas (by Kimaya Bedarkar)
 
 The following `sed` script should perform most of the renaming
 (on macOS, replace `sed` by `gsed`, installed via e.g. `brew install gnu-sed`).