Skip to content

Finite map transpose

Rudy Petersonrequested to merge
rudynicolop/iris-contrib:map-transpose into main

Transpose nested finite maps and lookup lemma.

Merge request reports