option_Forall2 lemmas

• option_Forall2 lemmas:
  • option_Forall2_option_relation
  • option_Forall2_iff
  • option_Forall2_proper
  • option_Forall2_flip
  • option_Forall2_fmap_1
  • option_Forall2_fmap_2
  • option_Forall2_fmap
  • option_Forall2_diag
  • option_Forall2_impl_strong
  • option_Forall2_impl
  • option_Forall2_iff_strong
  • option_Forall2_iff_impl
  • option_Forall2_conj_strong