github.com/coq/opam-coq-archive
A library of abstract interfaces for mathematical structures in Coq
opam install coq-math-classes.8.12.0