Skip to content
GitLab
Explore
Sign in
Iris
Iris
Repository
iris
algebra
upred.v
Find file
Blame
History
Permalink
Add lemma pure_iff.
· b95c0bc7
Robbert Krebbers
authored
Jul 02, 2016
b95c0bc7