fix changelog

affeldt-aist · affeldt-aist · commit fdbdbfbcefc0 · 2026-04-18T15:16:51.000+09:00
diff --git a/CHANGELOG_UNRELEASED.md b/CHANGELOG_UNRELEASED.md
@@ -21,9 +21,6 @@
 - in `measurable_function.v`:
   + lemma `preimage_measurability`
 
-- in `realfun.v`:
-  + lemma `derivable_sqrt`
-
 - in `pseudometric_normed_Zmodule.v`:
   + lemma `itv_center_shift`
 
