Skip to content
GitLab

Added some useful lemmas about [list_subseteq]

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

Added some generally useful lemmas about the [list_subseteq] function

Merge request reports