Skip to content
Snippets Groups Projects
Commit 47bd9469 authored by Robbert Krebbers's avatar Robbert Krebbers
Browse files

Tweak CHANGELOG.

parent 54efa2cd
No related branches found
No related tags found
1 merge request!307Clean up `empty{',_inv,_iff}` lemmas.
Pipeline #51255 passed
Stage: build
Hide whitespace changes
Inline Side-by-side
Showing
with 2 additions and 1 deletion
CHANGELOG.md
+ 2
− 1
View file @ 47bd9469
...@@ -138,7 +138,8 @@ API-breaking change is listed. ...@@ -138,7 +138,8 @@ API-breaking change is listed.
- Make `map_empty` a biimplication. - Make `map_empty` a biimplication.
- Clean up `empty{',_inv,_iff}` lemmas: - Clean up `empty{',_inv,_iff}` lemmas:
+ Write them all using `↔` and consistently use the `_iff` suffix. + Write them all using `↔` and consistently use the `_iff` suffix.
+ Remove `map_to_list_empty_inv_alt`. + Remove `map_to_list_empty_inv_alt`, chain `Permutation_nil_r` and
`map_to_list_empty_iff` instead.
+ Add lemma `map_filter_empty_iff`. + Add lemma `map_filter_empty_iff`.
The following `sed` script should perform most of the renaming The following `sed` script should perform most of the renaming
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment