Update changelog

math-comp · May 29, 2024 · 2bc97d7 · 2bc97d7
1 parent 306b200
commit 2bc97d7
Showing 1 changed file with 3 additions and 1 deletion.
diff --git 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