diff options
| author | Kazuhiko Sakaguchi | 2020-11-10 22:01:19 +0900 |
|---|---|---|
| committer | Kazuhiko Sakaguchi | 2020-11-11 00:46:20 +0900 |
| commit | 88861b5dbd2803118222fe3a020317608c4c8500 (patch) | |
| tree | 3e489204c714397fa5c1beaf6b323170554804c8 /CHANGELOG_UNRELEASED.md | |
| parent | c312c678ac8af99d5c632285cbff5e1b55325478 (diff) | |
Remove `cycle_(mask|filter)` lemmas
Diffstat (limited to 'CHANGELOG_UNRELEASED.md')
| -rw-r--r-- | CHANGELOG_UNRELEASED.md | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/CHANGELOG_UNRELEASED.md b/CHANGELOG_UNRELEASED.md index b2ab353..af26d39 100644 --- a/CHANGELOG_UNRELEASED.md +++ b/CHANGELOG_UNRELEASED.md @@ -257,8 +257,8 @@ The format is based on [Keep a Changelog](https://keepachangelog.com/en/1.0.0/). - in `seq.v`, new lemmas `allss` and `all_mask`. - in `path.v`, new lemmas `sub_cycle(_in)`, `eq_cycle_in`, - `(path|cycle|sorted)_(mask|filter)_in`, `cycle_(mask|filter)_in`, `rev_cycle`, - `cycle_map`, `(homo|mono)_cycle(_in)`. + `(path|sorted)_(mask|filter)_in`, `rev_cycle`, `cycle_map`, + `(homo|mono)_cycle(_in)`. ### Changed |