Skip to content
GitLab

fix big_sepM2_fmap and friend to work for keys other than nat

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