Skip to content
GitLab
Explore
Sign in
Iris
stdpp
Issues
#33
Some missing lemmas
I wrote
some lemmas
that might be useful (at least some of them). It would be great to include them!