github.com/coq/opam-coq-archive
Rem Theorem in Baire space. A formalisation of Rem Theorem in Baire space
opam install coq-rem.8.6.0