Skip to content

Commit

Permalink
fix changelog
Browse files Browse the repository at this point in the history
  • Loading branch information
@affeldt-aist
affeldt-aist committed Jul 18, 2024
1 parent c2f685a commit 62ad570
Showing 1 changed file with 0 additions and 2 deletions.
2 changes: 0 additions & 2 deletions CHANGELOG_UNRELEASED.md
View file
Original file line number Diff line number Diff line change
Expand Up @@ -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`

Expand Down

0 comments on commit 62ad570

Please sign in to comment.