50 lines (30 loc) · 905 Bytes

Changelog

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