Changelog

Last release: [1.5.2] - 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