Skip to content
GitLab
Explore
Sign in
iris
CHANGELOG.md
Find file
Blame
Permalink
Jul 02, 2024
34b628e6
Add CHANGELOG entry for big op gset_to_gmap lemma
· 34b628e6
Isaac van Bakel
authored
Jul 02, 2024
34b628e6
Add CHANGELOG entry for big op gset_to_gmap lemma
Isaac van Bakel
authored
Jul 02, 2024
Loading
Isaac van Bakel authoredIsaac van Bakel authored