github.com/coq/opam-coq-archive
This package provides a Coq formalization of abstract algebra using
opam install coq-functional-algebra.1.0.2