Skip to content
GitLab
Explore
Sign in
Léo Stefanesco
stdpp
Repository
stdpp
theories
sets.v
Find file
Blame
History
Permalink
Add set_unfold_list_bind (+ test)
· 221197c4
Paolo G. Giarrusso
authored
Feb 20, 2022
`set_unfold_bind` for sets already exists; this brings the list variant on par.
221197c4