github.com/coq/opam-coq-archive
Generic Proofs about Alpha Equality and Substitution
opam install coq-cfgv.8.10.0