Skip to content
GitLab
Explore
Sign in
Iris
Iris
Repository
iris
algebra
excl.v
Find file
Blame
History
Permalink
Lemma for inclusion of excl similar to dec_agree.
· 4f0acc79
Robbert Krebbers
authored
Sep 20, 2016
4f0acc79