Skip to content
GitLab
Explore
Sign in
Paolo G. Giarrusso
iris
Repository
iris
algebra
sts.v
Find file
Blame
History
Permalink
prove that we actually completely characterized inclusion of the STS RA; derive a simpler form
· c55672d8
Ralf Jung
authored
Feb 15, 2016
c55672d8