Skip to content
GitLab
Explore
Sign in
David Swasey
coq-stdpp
Repository
coq-stdpp
theories
collections.v
Find file
Blame
History
Permalink
Lemma for X ∪ Y ⊆ Z
↔
X ⊆ Z ∧ Y ⊆ Z.
· 3103b7bf
Robbert Krebbers
authored
Feb 15, 2017
3103b7bf