changelog

math-comp · Jul 26, 2023 · ae26694 · ae26694
1 parent 6b09cee
commit ae26694
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/CHANGELOG_UNRELEASED.md b/CHANGELOG_UNRELEASED.md
@@ -81,6 +81,7 @@
   + lemmas `lte0n`, `lee0n`, `lte1n`, `lee1n`
 - in `sequences.v`:
   + lemma `eseries_cond`
+  + lemmas `eseries_mkcondl`, `eseries_mkcondr`
 
 ### Changed