Skip to content
GitLab
Explore
Sign in
fin_maps: add map injectivity definition, lemmas
Code
Review changes
Check out branch
Download
Patches
Plain diff
Expand sidebar
fin_maps: add map injectivity definition, lemmas
Isaac van Bakel
requested to merge
ivanbakel/iris-contrib:map_inj
into
main
Jul 04, 2025
Overview
1
Commits
1
Pipelines
2
Changes
2
Merge request reports
Loading