Project 'janno/iris-coq' was moved to 'janno/iris'. Please update any links and bookmarks that may still have the old path.
The source project of this merge request has been removed.
list_fmap_equiv_ext requires the functions to be equal on every
element of A but we could restrict it to the element of l.
Note sure about the name I choose, feel free to suggest something more in line with the library :D