Skip to content
GitLab
Projects
Groups
Topics
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Iris
stdpp
Merge requests
!239
More lemmas for list's prefix_of and suffix_of
Code
Review changes
Check out branch
Download
Patches
Plain diff
Merged
Hai Dang
requested to merge
improve_prefix_suffix
into
master
Mar 31, 2021
Overview
14
Commits
3
Pipelines
0
Changes
1
Expand
More properties of
prefix_of
and
suffix_of
:
they are partial orders, not just pre orders
prefix_nil_inv
and
prefix_of_down_total
.
Merge request reports