# Changelog

Last release: [[1.5.2] - 2022-07-06](#152---2022-07-06)

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

