fix changelog

math-comp · Jul 18, 2024 · c2f685a · c2f685a
1 parent a883d0d
commit c2f685a
Showing 1 changed file with 5 additions and 4 deletions.
diff --git a/CHANGELOG_UNRELEASED.md b/CHANGELOG_UNRELEASED.md
@@ -49,10 +49,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`
 
@@ -97,6 +93,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