Skip to content
GitLab
Explore
Sign in
David Swasey
coq-stdpp
Repository
coq-stdpp
theories
sets.v
Find file
Blame
History
Permalink
Add lemma `not_elem_of_iff`.
· 157ae750
David Swasey
authored
Feb 01, 2020
157ae750