From e6889798feeff9bf99850fd6e76bb90d92d5a838 Mon Sep 17 00:00:00 2001
From: Reynald Affeldt <reynald.affeldt@aist.go.jp>
Date: Thu, 20 Jul 2023 18:28:46 +0900
Subject: [PATCH] changelog

---
 CHANGELOG_UNRELEASED.md | 1 +
 1 file changed, 1 insertion(+)

diff --git a/CHANGELOG_UNRELEASED.md b/CHANGELOG_UNRELEASED.md
index 5643135053..74d7adb725 100644
--- a/CHANGELOG_UNRELEASED.md
+++ b/CHANGELOG_UNRELEASED.md
@@ -65,6 +65,7 @@
   + lemma `Zorn_bigcup`
 - in `sequences.v`:
   + lemma `eseries_cond`
+  + lemmas `eseries_mkcondl`, `eseries_mkcondr`
 
 ### Changed