Skip to content
Snippets Groups Projects
I

iris

Star 0
Project ID: 972
Select Git revision
0 results
Forked from Iris / Iris
Loading
Ralf Jung's avatar
Merge branch 'gset_to_gmap_theory' into 'master'
Ralf Jung authored 
Add lemmas for big_opS and gmap singletons

See merge request iris/iris!1049
426f2d2e
History
Ralf Jung's avatar 426f2d2e
History
Name Last commit Last update