fixing changelog

Author: zstone1

CHANGELOG_UNRELEASED.md

@@ -9,8 +9,8 @@
   + lemmas `fine_le`, `fine_lt`, `fine_abse`, `abse_fin_num`
 - in `lebesgue_integral.v`
   + lemmas `integral_fune_lt_pinfty`, `integral_fune_fin_num`
-  + lemma `weak_subspace_open`
 - in `topology.v`:
+  + lemma `weak_subspace_open`
   + lemmas `continuous_subspace0`, `continuous_subspace1`
 
 - in `realfun.v`: