# Changelog

Last release: [[2.2.0] - 2025-04-15](#220---2025-04-15)

## [2.2.0] - 2025-04-15

### 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

## [2.1.0] - 2024-01-17

Note: This version is not compatible with mathcomp 2.4.0

## [2.0.0] - 2023-05-23

- in `finmap.v`:
  + lemmas `bigfcup_imfset1`, `fbig_pred1_inj`

## [1.5.2] - 2022-07-06

no documentation

## [1.5.1] - 2020-12-03

### Added

- in `finmap.v`:
  + lemma `fsetU11`
  + definitions `fcover` and `trivIfset`
  + lemmas `leq_card_fsetU`, `leq_card_fcover`
  + lemma `trivIfsetP`, `fcover_imfset`, `big_trivIfset`
  + lemma `partition_disjoint_bigfcup`

### Renamed

- in `finmap.v`:
  + `big_setU1` -> `big_fsetU1`

## [1.5.0] - 2020-04-21

not documented

