CHANGELOG_UNRELEASED hasn't been flushed

[hoheinzollern]

finmap/CHANGELOG_UNRELEASED.md

Lines 5 to 18 in 0fd9b36

	### Added
	- in `finmap.v`:
	+ lemmas `fset_seq1`, `imfset0`, `imfset_fset1`, `imfset_fset2`, `imfsetU`,
	`imfsetU1`, `imfsetI`, `bigfcup_imfset`
	### Changed
	- in `finmap.v`
	+ lemma `partition_disjoint_bigfcup` generalized
	### Renamed
	### Removed