Skip to content
Snippets Groups Projects
S

stdpp

Star 0
Project ID: 2305
Select Git revision
0 results
Forked from Iris / stdpp
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