Install gmp-doc by entering the following commands in the terminal:
sudo apt update sudo apt install gmp-doc
Description:
GMP (Multiprecision arithmetic library) documentation
This package provides the documentation for GMP.
Homepage: http://gmplib.org/
Version: 6.0.0-1
Section: multiverse/doc