We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
98b3578
Compatible with Coq 8.19--8.20, MathComp >= 2.2.3, MathComp-Analysis >= 1.7.0, Hierarchy-Builder >= 1.5.0
