Skip to content

Finite Map Helper Lemmas

Rudy Petersonrequested to merge
rudynicolop/stdpp:fin-map-helpers into master

Helper lemmas for finite maps. Concerns mainly map_Forall, map_Forall2, map_seq, map_seqZ, and kmap.

Edited by Rudy Peterson

Merge request reports