Skip to content
GitLab

Added some lemmas about [sublist]

Open Jonas Kastberg requested to merge jihgfee/stdpp:sublist_lemmas into master

Added some generally useful lemmas about the [sublist] function

Merge request reports