Merge branch 'nsteps_inv' into 'master'

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

See merge request !87
8 jobs for master in 9 minutes and 1 second (queued for 2 seconds)
Status Job ID Name Coverage
  Build
passed #40254
fp
build-coq.8.10.dev

00:08:02

passed #40260
fp
build-coq.8.7.2

00:02:48

passed #40259
fp-timing
build-coq.8.8.0

00:02:49

passed #40258
fp
build-coq.8.8.1

00:02:56

passed #40257
fp
build-coq.8.8.2

00:03:08

passed #40256
fp-timing
build-coq.8.9.0

00:03:19

passed #40255
fp
build-coq.8.9.1

00:03:51

passed #40253
fp
build-coq.dev

00:09:00