Added some useful lemmas for the [last] function (!355) · Merge requests · Iris / stdpp · GitLab

Snippets Groups Projects

Merged Jonas Kastberg requested to merge jihgfee/stdpp:last_lemmas into master 3 years ago

All threads resolved!

Compare and

Files

1