lemmas for map_seq and map_seqZ

• map_seq lemmas:

  • map_seq_inj
  • map_seq_list_to_map
  • map_seq_to_list

• map_seqZ lemmas:

  • map_seqZ_inj
  • map_seqZ_list_to_map
  • map_seqZ_to_list

Lemmas from !598 (closed)