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

Move order in `fin_maps`. 

Some `filter` lemmas make use of `map_Forall`, so put `map_Forall` before `filter.
parent 42af9985
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
Showing
with 159 additions and 159 deletions
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