changelog

math-comp · Jul 20, 2023 · e688979 · e688979
1 parent d67fbbf
commit e688979
Showing 1 changed file with 1 addition and 0 deletions.
diff --git 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