Merge branch 'reflexive_transitive_closure' into 'master'

Adding a constructor for reflexive transitive closures into bi's

See merge request !375
5 jobs for master in 15 minutes and 10 seconds (queued for 5 seconds)
Status Job ID Name Coverage
  Build
passed #56368
fp
build-coq.8.10.2

00:09:04

passed #56367
fp-timing
build-coq.8.11.0

00:07:06

passed #56370
fp
build-coq.8.8.2

00:07:44

passed #56369
fp
build-coq.8.9.1

00:08:32

passed #56366
fp
build-coq.dev

00:15:10