Changelog (unreleased) [Unreleased] 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 Infrastructure Misc
