fix

Author: affeldt-aist

CHANGELOG_UNRELEASED.md

@@ -27,8 +27,7 @@
   + lemma `measurable_prod`
 
 - in `measure.v`:
-  + lemmas `preimage_set_system0`, `preimage_set_systemU`, `preimage_set_system_compS`
-  + lemma `preimage_set_system_id`
+  + lemma `preimage_set_system_compS`
 
 - in `numfun.v`:
   + defintions `funrpos`, `funrneg` with notations `^\+` and `^\-`