From 2bc97d7d558aff193d8b05794340f7fcd87f3838 Mon Sep 17 00:00:00 2001
From: Ana Borges <ana.agvb@gmail.com>
Date: Wed, 29 May 2024 14:16:44 +0100
Subject: [PATCH] Update changelog

---
 CHANGELOG_UNRELEASED.md | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/CHANGELOG_UNRELEASED.md b/CHANGELOG_UNRELEASED.md
index f928dd8..6e9d7a0 100644
--- a/CHANGELOG_UNRELEASED.md
+++ b/CHANGELOG_UNRELEASED.md
@@ -5,7 +5,9 @@
 ### Added
 
 - in `finmap.v`:
-  + lemmas `bigfcup_imfset`, `fbig_pred1_inj`
+  + lemmas `bigfcup_imfset1`, `fbig_pred1_inj`
+  + lemmas `fset_seq1`, `imfset0`, `imfset_fset1`, `imfset_fset2`, `imfsetU`,
+    `imfsetU1`, `imfsetI`, `bigfcup_imfset`
 
 ### Changed