From 62ad57037d8c4dbf3b07c7158f9a14cba1f7989a Mon Sep 17 00:00:00 2001 From: Reynald Affeldt Date: Thu, 18 Jul 2024 21:33:55 +0900 Subject: [PATCH] fix changelog --- CHANGELOG_UNRELEASED.md | 2 -- 1 file changed, 2 deletions(-) diff --git a/CHANGELOG_UNRELEASED.md b/CHANGELOG_UNRELEASED.md index 37aef5fa3a..9375969242 100644 --- a/CHANGELOG_UNRELEASED.md +++ b/CHANGELOG_UNRELEASED.md @@ -47,8 +47,6 @@ `le_normr_integral`, `Rintegral_setU_EFin`, `Rintegral_set0`, `Rintegral_itv_bndo_bndc`, `Rintegral_itv_obnd_cbnd`, `Rintegral_set1`, `Rintegral_itvB` -### Changed - - in `classical_sets.v`: + lemmas `setC_I`, `bigcup_subset`