CHANGELOG

math-comp · Dec 1, 2023 · eba0573 · eba0573
1 parent ecb6363
commit eba0573
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/CHANGELOG_UNRELEASED.md b/CHANGELOG_UNRELEASED.md
@@ -16,6 +16,9 @@
   + new lemmas `perfect_set2`, and `ent_closure`.
   + lemma `clopen_surj`
 
+- in file `lebesgue_integral.v`
+  + add lemmas `ae_eqS`, `measure_dominates_ae_eq`.
+
 ### Changed
 
 ### Renamed