From cd3e7be10c40422f203964514cabc89879db8cf8 Mon Sep 17 00:00:00 2001
From: Reynald Affeldt <reynald.affeldt@aist.go.jp>
Date: Mon, 29 Jul 2024 15:18:53 +0900
Subject: [PATCH] changelog

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

diff --git a/CHANGELOG_UNRELEASED.md b/CHANGELOG_UNRELEASED.md
index b8287296e4..b4d5226ada 100644
--- a/CHANGELOG_UNRELEASED.md
+++ b/CHANGELOG_UNRELEASED.md
@@ -68,6 +68,9 @@
 - in `measure.v`:
   + lemma `measurableID`
 
+- in `mathcomp_extra.v`:
+  + lemma `invf_ltp`
+
 ### Changed
 
 - in `forms.v`: