diff options
Diffstat (limited to 'CHANGELOG_UNRELEASED.md')
| -rw-r--r-- | CHANGELOG_UNRELEASED.md | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/CHANGELOG_UNRELEASED.md b/CHANGELOG_UNRELEASED.md index c4abdf3..6d4985b 100644 --- a/CHANGELOG_UNRELEASED.md +++ b/CHANGELOG_UNRELEASED.md @@ -228,7 +228,8 @@ The format is based on [Keep a Changelog](https://keepachangelog.com/en/1.0.0/). `commCmx`. The common arguments of these lemmas `R` and `n` are maximal implicits. - - in `seq.v`, added `drop_index`, `in_mask`, `cons_subseq`, `undup_subseq`, + - in `seq.v`, added `drop_index`, `in_mask`, `cons_subseq`, + `undup_subseq`, `leq_count_mask`, `leq_count_subseq`, `count_maskP`, `count_subseqP`, `count_rem`, `count_mem_rem`, `rem_cons`, `remE`, `subseq_rem` and `leq_count_uniq`. - in `fintype.v`, added `mask_enum_ord`. |