We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
43719c0
This release is compatible with math-comp 2.0.0 and 2.1.0 on Coq 8.16 to 8.18