Update CHANGELOG_UNRELEASED.md

Co-authored-by: Pierre Roux <[email protected]>
math-comp · Jul 24, 2024 · a653f94 · a653f94
1 parent b85f23b
commit a653f94
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/CHANGELOG_UNRELEASED.md b/CHANGELOG_UNRELEASED.md
@@ -41,7 +41,7 @@
 
 - in `constructive_ereal.v`:
   + lemmas `lteD2rE`, `leeD2rE`
-  + lemmas `lte_dD2rE`, `lee_dD2lE`
+  + lemmas `lte_dD2rE`, `lee_dD2rE`
 
 ### Changed