Skip to content

Lookup lemmas for union list over finite maps

Rudy Petersonrequested to merge
rudynicolop/stdpp:union-disjoint-maps into master
  • Add the notion of a list of finite maps whose members are pairwise disjoint with each other.
  • Add lemmas for lookup of the union list of disjoint maps.

Merge request reports