Skip to content
Snippets Groups Projects
I

Iris

Star 0
Project ID: 1142
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 !1049
426f2d2e
History
Ralf Jung's avatar 426f2d2e
History
Name Last commit Last update