diff --git a/CHANGELOG.md b/CHANGELOG.md
index 0282b1e86d32da7f644c78c31e4a637482cc06af..e78f6549b71d9ac6d5ac7c316ec8e93ac3be8839 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -120,6 +120,8 @@ API-breaking change is listed.
     Haskell and friends.
   + Add `Params` and `Proper` instances for `curry`/`uncurry`,
     `curry3`/`uncurry3`, and `curry4`/`uncurry4`.
+  + Add lemmas that say that `curry`/`curry3`/`curry4` and
+    `uncurry`/`uncurry3`/`uncurry4` are inverses.
 - Rename `map_union_subseteq_l_alt` → `map_union_subseteq_l'` and
   `map_union_subseteq_r_alt` → `map_union_subseteq_r'` to be consistent with
   `or_intro_{l,r}'`.