lemmas for map_Forall(2)
-
map_Forall(2)lemmas:map_Forall_impl_strongmap_Forall2_impl_strong_lmap_Forall2_impl_strong_rmap_Forall2_lookup_1map_Forall2_lookup_2map_Forall2_lookupmap_Forall2_lookup_2_dom
Lemmas from !598 (closed).
map_Forall(2) lemmas:
map_Forall_impl_strongmap_Forall2_impl_strong_lmap_Forall2_impl_strong_rmap_Forall2_lookup_1map_Forall2_lookup_2map_Forall2_lookupmap_Forall2_lookup_2_domLemmas from !598 (closed).