-
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.
25387faa
To make it consistent with Forall_impl and map_Forall_impl. Also, put the premises in the same order as those lemmas.