From 0f1063c601ef4002eb7190f8e8b29a1cc69d3503 Mon Sep 17 00:00:00 2001
From: Reynald Affeldt <reynald.affeldt@aist.go.jp>
Date: Tue, 2 Jan 2024 17:15:32 +0900
Subject: [PATCH] fix

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

diff --git a/CHANGELOG_UNRELEASED.md b/CHANGELOG_UNRELEASED.md
index ff277db7df..7f3014055e 100644
--- a/CHANGELOG_UNRELEASED.md
+++ b/CHANGELOG_UNRELEASED.md
@@ -77,6 +77,7 @@
 	`ae_eq_abse`
 
 - moved from `topology.v` to `mathcomp_extra.v`
+  + definition `monotonous`
 
 ### Renamed