Added some useful lemmas about [list_subseteq] (!359) · Merge requests · Iris / stdpp

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

Status	Pipeline	Stages
Passed 00:05:02 3 years ago	Apply 1 suggestion(s) to 1 file(s) #60028 359 03bdbb8d merge request	Stage: build	Download artifacts No artifacts found
Passed 00:05:12 3 years ago	Renamed lemmas to be more consistent with existing ones #59928 359 1633b3dd merge request fork	Stage: build	Download artifacts No artifacts found
Canceled 00:00:22 3 years ago	Renamed lemmas to be more consistent with existing ones #59927 359 11d2f650 merge request fork	Stage: build	Download artifacts No artifacts found
Passed 00:04:43 3 years ago	Added some useful lemmas about [list_subseteq] #59897 359 4d1d04c9 merge request fork	Stage: build	Download artifacts No artifacts found

Added some useful lemmas about [list_subseteq]