fix

math-comp · Dec 3, 2024 · f042036 · f042036
1 parent e592efa
commit f042036
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/CHANGELOG_UNRELEASED.md b/CHANGELOG_UNRELEASED.md
@@ -41,7 +41,7 @@
   + `emeasurable_fun_fsum` -> `emeasurable_fsum`
   + `ge0_emeasurable_fun_sum` -> `ge0_emeasurable_sum`
 - in `probability.v`:
-  + `expectationM` -> `expectationMl`
+  + `expectationM` -> `expectationZl`
 
 - in `classical_sets.v`:
   + `preimage_itv_o_infty` -> `preimage_itvoy`