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

Rename `list_alter_fmap` → `list_fmap_alter`, remove `list_alter_fmap_mono`.

parent 9d2e6d60
No related branches found
No related tags found
2 merge requests!532Provide "lookup" and commuting lemmas as equations that always apply, and fix some inconsistent lemma naming,!531Fix inconsistencies in `lookup` and `elem_of` lemmas for `list`
This commit is part of merge request !532. Comments created here will be created in the context of that merge request.
Hide whitespace changes
Inline Side-by-side
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