We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
9ae6fe7
Compatibility with Coq 8.13 and 8.14, MathComp 1.13, and MathComp-Analysis 0.3.11 and 0.3.12
