docs: locally non-expansive/contractive also applies to bifunctors

1 job for master
Status Job ID Name Coverage
  Test
passed #240
coq
buildjob

00:03:16