Merge branch 'doc-gmap-reduction' into 'master'

Sketch docs for computation on [gmap], since they're a FAQ

See merge request !171
5 jobs for master in 10 minutes and 35 seconds
Status Job ID Name Coverage
  Build
passed #76986
fp
build-coq.8.10.2

00:04:50

passed #76985
fp-timing
build-coq.8.11.2

00:04:17

passed #76984
fp
build-coq.8.12.dev

00:10:35

passed #76988
fp
build-coq.8.8.2

00:03:54

passed #76987
fp
build-coq.8.9.1

00:04:39