Skip to content
GitLab
Explore
Sign in
Tej Chajed
stdpp
Repository
stdpp
CHANGELOG.md
Find file
Blame
History
Permalink
Added some useful lemmas for the [last] function
· e921d245
Jonas Kastberg
authored
Jan 12, 2022
and
Robbert Krebbers
committed
Jan 12, 2022
e921d245
To find the state of this project's repository at the time of any of these versions, check out
the tags
.