Forked from
Iris / stdpp
Source project has a limited visibility.
-
Robbert Krebbers authored
To make it consistent with Forall_impl and map_Forall_impl. Also, put the premises in the same order as those lemmas.
Robbert Krebbers authoredTo make it consistent with Forall_impl and map_Forall_impl. Also, put the premises in the same order as those lemmas.
