Skip to content
GitLab
Explore
Sign in
stdpp
theories
list.v
Find file
Blame
History
Permalink
Prove better correspondence between Permutation and contains.
· 5c785a10
Robbert Krebbers
authored
Aug 15, 2013
5c785a10
