Skip to content
GitLab

Added some useful lemmas for the [last] function

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

Added some utility lemmas for the [last] function. (precursor to the !353 (merged) MR)

Merge request reports