Skip to content
GitLab
Explore
Sign in
Jan
stdpp
Repository
stdpp
theories
fin_sets.v
Find file
Blame
History
Permalink
Add lemma `set_fold_disj_union_strong`.
· 3b72ac77
Robbert Krebbers
authored
Jun 02, 2021
and
Ralf Jung
committed
Jun 02, 2021
3b72ac77