Skip to content
GitLab
Explore
Sign in
Iris
stdpp
Repository
stdpp
theories
finite.v
Find file
Blame
History
Permalink
Added sig_finite (and elem_of_list_fmap_inj, proj1_inj_pi)
· 3dce1fea
sarahzrf
authored
Jun 18, 2020
and
Robbert Krebbers
committed
Jun 18, 2020
3dce1fea