Skip to content

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

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

Merge request reports