Skip to content
GitLab
Explore
Sign in
sarahzrf
stdpp
Repository
stdpp
theories
proof_irrel.v
Find file
Blame
History
Permalink
Added sig_finite (and elem_of_list_fmap_inj, proj1_inj_pi)
· 8962812c
sarahzrf
authored
Jun 12, 2020
8962812c