github.com/coq/opam-coq-archive
Fundamental theorems of arithmetic
opam install coq-fundamental-arithmetics.8.10.0