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
!351
add some lemmas about `Finite` and `pred_finite`
Code
Review changes
Check out branch
Download
Patches
Plain diff
Merged
Glen Mével
requested to merge
gmevel/stdpp:glen/pred_finite
into
master
Dec 12, 2021
Overview
37
Commits
7
Pipelines
10
Changes
4
Expand
Merge it if you like it. Feel free to suggest better naming and placement.
Merge request reports