Skip to content
GitLab
Explore
Sign in
Simon Spies
stdpp
Repository
stdpp
theories
gmultiset.v
Find file
Blame
History
Permalink
New class `SetUnfoldElemOf` that specializes `SetUnfold` to improve performance.
· f6b1bf4b
Robbert Krebbers
authored
Apr 23, 2019
f6b1bf4b