Skip to content
GitLab
Explore
Sign in
Jonas Kastberg
stdpp
Repository
stdpp
theories
sets.v
Find file
Blame
History
Permalink
Added parentheses for clarity, and explicitly named used variable
· d4e3d4da
Jonas Kastberg
authored
Jul 13, 2022
d4e3d4da