fix changelog

math-comp · Jul 19, 2024 · d27640e · d27640e
1 parent f268bec
commit d27640e
Showing 1 changed file with 5 additions and 4 deletions.
diff --git a/CHANGELOG_UNRELEASED.md b/CHANGELOG_UNRELEASED.md
@@ -51,10 +51,6 @@
 
 ### Changed
 
-- in `topology.v`:
-  + lemmas `subspace_pm_ball_center`, `subspace_pm_ball_sym`,
-    `subspace_pm_ball_triangle`, `subspace_pm_entourage` turned
-	into local `Let`'s
 - in `classical_sets.v`:
   + lemmas `setC_I`, `bigcup_subset`
 
@@ -99,6 +95,11 @@
 
 ### Changed
 
+- in `topology.v`:
+  + lemmas `subspace_pm_ball_center`, `subspace_pm_ball_sym`,
+    `subspace_pm_ball_triangle`, `subspace_pm_entourage` turned
+	into local `Let`'s
+
 - in `lebesgue_integral.v`:
   + lemma `measurable_int`: argument `mu` now explicit