Skip to content
GitLab
Explore
Sign in
relations.nsteps: add inversion lemma for `nsteps R 1 a b`
Code
Review changes
Check out branch
Download
Patches
Plain diff
Expand sidebar
relations.nsteps: add inversion lemma for `nsteps R 1 a b`
Paolo G. Giarrusso
requested to merge
Blaisorblade/stdpp:nsteps_inv
into
master
Aug 21, 2019
Overview
8
Commits
1
Pipelines
0
Changes
1
Merge request reports
Loading