Skip to content
GitLab
Explore
Sign in
Iris
stdpp
Repository
stdpp
theories
sets.v
Find file
Blame
History
Permalink
Prove `set_Forall_list_to_set`.
· ff0750f5
Robbert Krebbers
authored
Jun 28, 2019
ff0750f5