Skip to content

fix big_sepM2_fmap and friend to work for keys other than nat

Michael Sammler requested to merge msammler/iris-coq:big_sepM2_fmap_fix into master

Merge request reports