docs: banach: make f^k part of the theorem, nut just a remark; extend ref to america-rutten

5 jobs for master in 11 minutes and 55 seconds (queued for 2 minutes and 47 seconds)
Status Job ID Name Coverage
  Build
passed #6394
fp-timing
build-coq.8.6.1

00:03:49

passed #6393
fp-timing
build-coq.8.7.0

00:03:37

 
  Deploy
passed #6395
opam

00:00:14

passed #6396
reverse-deps

00:00:15

 
  Build More
passed #6397
fp-timing
build-coq.8.7.dev

00:07:34