Changelog (unreleased)

[Unreleased]

Added

in finmap.v:
- lemmas fset_seq1, imfset0, imfset_fset1, imfset_fset2, imfsetU, imfsetU1, imfsetI, bigfcup_imfset

Changed

Renamed

Removed

Infrastructure

Misc