Skip to content
GitLab

relations.nsteps: add inversion lemma for `nsteps R 1 a b`

Merged Paolo G. Giarrusso requested to merge Blaisorblade/stdpp:nsteps_inv into master

Merge request reports