Skip to content
GitLab
Explore
Sign in
Iris
Iris
Repository
iris
iris
ownership.v
Find file
Blame
History
Permalink
derive that when we obtain validity of an ownG, we can keep ownership
· b6a32bbb
Ralf Jung
authored
Jan 23, 2016
b6a32bbb