We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
68808a1
This is a maintenance release, known to work with Coq 8.10.2 and MathComp 1.9.0 or 1.10.0.
